Dopglavy DM 1819 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Строка 33: | Строка 33: | ||
Многочлены для булевых функций: [http://www.thi.informatik.uni-frankfurt.de/~jukna/boolean/index.html Stasys Jukna, Boolean Function Complexity: Advances and Frontiers] <br> | Многочлены для булевых функций: [http://www.thi.informatik.uni-frankfurt.de/~jukna/boolean/index.html Stasys Jukna, Boolean Function Complexity: Advances and Frontiers] <br> | ||
Замкнутые классы булевых функций: [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Верещагин, А. Шень, Языки и исчисления.] <br> | Замкнутые классы булевых функций: [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Верещагин, А. Шень, Языки и исчисления.] <br> | ||
+ | |||
+ | == Результаты == | ||
+ | |||
+ | [https://docs.google.com/spreadsheets/d/1HBHRwMA6X0a_j83Zyw7A-5squiY9nw-6eFdp0RCNEKg/edit?usp=sharing Таблица результатов] |
Версия 16:38, 15 ноября 2018
Общая информация
Расписание
Занятия проходят по четвергам в ауд. 503 с 16:40 до 18:00.
18 октября занятие факультатива не состоится!
Занятие 1 ноября под вопросом! Окончательная информация появится здесь 8 ноября до 16:00.
Материалы курса
Дата | Summary | Домашнее задание |
---|---|---|
19.09.18 | Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений и метод поворотов. | Листок 1 |
26.09.18 | Вычисление булевых функций многочленами. Существование многочлена для всякой функции. Формула для коэффициентов. Симметризация многочленов. | Листок 2 |
04.10.18 | Замкнутые классы булевых функций. Теорема Поста. | Листок 3 |
11.10.18 | Лемма Шпернера. Теорема Брауэра. | Листок 4 |
01.11.18 | Вполне упорядоченные множества, их свойства. Начальные отрезки, их свойства. Рекурсия. | Листок 5 |
Источники
Числа Каталана: Черновик учебника по дискретной математике
Многочлены для булевых функций: Stasys Jukna, Boolean Function Complexity: Advances and Frontiers
Замкнутые классы булевых функций: Верещагин, А. Шень, Языки и исчисления.