Dopglavy DM 2022 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Строка 5: | Строка 5: | ||
Классрум для сдачи дз: https://classroom.google.com/c/Mzk4MjI3NDUyMDI5?cjc=gsk6r3e | Классрум для сдачи дз: https://classroom.google.com/c/Mzk4MjI3NDUyMDI5?cjc=gsk6r3e | ||
− | |||
− | |||
− | |||
+ | Первый дедлайн по домашним заданиям: <span>31.10.21</span><br> | ||
+ | <!--- | ||
Второй дедлайн по домашним заданиям: <s>01.06.20</s> <span style="color:red">31.05.20</span><br> | Второй дедлайн по домашним заданиям: <s>01.06.20</s> <span style="color:red">31.05.20</span><br> |
Версия 14:39, 12 октября 2021
Общая информация
Классрум для сдачи дз: https://classroom.google.com/c/Mzk4MjI3NDUyMDI5?cjc=gsk6r3e
Первый дедлайн по домашним заданиям: 31.10.21
Расписание
Занятия проходят по вторникам в 14:40 в зуме. Первое занятие прошло 28 сентября.
Материалы курса
Первый семестр
Дата | Summary | Домашнее задание |
---|---|---|
28.09.21 | Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений. | Листок 1 |
05.10.21 | Логика высказываний, ее корректность. Лемма о дедукции. | Листок 2 |
12.10.21 | Замкнутые классы булевых функций. Теорема Поста. | Листок 3 |
Источники
Числа Каталана: Черновик учебника по дискретной математике
Исчисление высказываний: Верещагин, А. Шень, Языки и исчисления.
Замкнутые классы булевых функций: Верещагин, А. Шень, Языки и исчисления.