Dopglavy DM 2022 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
| Строка 6: | Строка 6: | ||
| − | Первый дедлайн по домашним заданиям: <span> | + | Первый дедлайн по домашним заданиям: <span>8.11.21</span><br> |
<!--- | <!--- | ||
Версия 15:39, 26 октября 2021
Общая информация
Классрум для сдачи дз: https://classroom.google.com/c/Mzk4MjI3NDUyMDI5?cjc=gsk6r3e
Первый дедлайн по домашним заданиям: 8.11.21
Расписание
Занятия проходят по вторникам в 14:40 в зуме. Первое занятие прошло 28 сентября.
Материалы курса
Первый семестр
| Дата | Summary | Домашнее задание |
|---|---|---|
| 28.09.21 | Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений. | Листок 1 |
| 05.10.21 | Логика высказываний, ее корректность. Лемма о дедукции. | Листок 2 |
| 12.10.21 | Замкнутые классы булевых функций. Теорема Поста. | Листок 3 |
| 26.10.21 | Лемма Шпернера. Теорема Брауэра. | Листок 4 |
Источники
Числа Каталана: Черновик учебника по дискретной математике
Исчисление высказываний: Верещагин, А. Шень, Языки и исчисления.
Замкнутые классы булевых функций: Верещагин, А. Шень, Языки и исчисления.
Лемма Шпернера, теорема Брауэра: http://math.mit.edu/~fox/MAT307-lecture03.pdf
