Dopglavy DM 1819 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
| Строка 19: | Строка 19: | ||
|| 04.10.18 || Замкнутые классы булевых функций. Теорема Поста. || [http://www.mi.ras.ru/~podolskii/files/extra_dm_1819/cw03_dop.pdf Листок 3] | || 04.10.18 || Замкнутые классы булевых функций. Теорема Поста. || [http://www.mi.ras.ru/~podolskii/files/extra_dm_1819/cw03_dop.pdf Листок 3] | ||
|} | |} | ||
| + | |||
| + | == Источники == | ||
| + | |||
| + | Числа Каталана: [http://rubtsov.su/public/hse/2017/DM-HSE-Draft.pdf Черновик учебника по дискретной математике] <br> | ||
| + | Многочлены для булевых функций: [http://www.thi.informatik.uni-frankfurt.de/~jukna/boolean/index.html Stasys Jukna, Boolean Function Complexity: Advances and Frontiers] <br> | ||
Версия 18:15, 4 октября 2018
Общая информация
Расписание
Занятия проходят по четвергам в ауд. 503 с 16:40 до 18:00.
Материалы курса
| Дата | Summary | Домашнее задание |
|---|---|---|
| 19.09.18 | Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений и метод поворотов. | Листок 1 |
| 26.09.18 | Вычисление булевых функций многочленами. Существование многочлена для всякой функции. Формула для коэффициентов. Симметризация многочленов. | Листок 2 |
| 04.10.18 | Замкнутые классы булевых функций. Теорема Поста. | Листок 3 |
Источники
Числа Каталана: Черновик учебника по дискретной математике
Многочлены для булевых функций: Stasys Jukna, Boolean Function Complexity: Advances and Frontiers
