Dopglavy DM 2021 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
| Строка 3: | Строка 3: | ||
[http://www.mi.ras.ru/~podolskii/files/extra_dm_1819/grading.pdf Правила выставления оценок] <br> | [http://www.mi.ras.ru/~podolskii/files/extra_dm_1819/grading.pdf Правила выставления оценок] <br> | ||
| − | |||
| − | + | ||
| + | Первый дедлайн по домашним заданиям: <span>26.10.20</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> | ||
Версия 18:52, 2 октября 2020
Общая информация
Первый дедлайн по домашним заданиям: 26.10.20
Расписание
Занятия проходят по понедельникам в 18:10 в аудитории R408. Первое занятие прошло 21 сентября.
Материалы курса
Первый семестр
| Дата | Summary | Домашнее задание |
|---|---|---|
| 21.09.20 | Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений. | Листок 1 |
| 28.09.20 | Логика высказываний, ее корректность. Лемма о дедукции. | Листок 2 |
Источники
Числа Каталана: Черновик учебника по дискретной математике
Логика высказываний: Верещагин, А. Шень, Языки и исчисления.
