Dopglavy DM 2021: различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
Строка 2: Строка 2:


[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>03.04.20</s> <span>06.04.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>

Версия от 15:52, 2 октября 2020

Общая информация

Правила выставления оценок


Первый дедлайн по домашним заданиям: 26.10.20


Расписание

Занятия проходят по понедельникам в 18:10 в аудитории R408. Первое занятие прошло 21 сентября.


Материалы курса

Первый семестр

Дата Summary Домашнее задание
21.09.20 Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений. Листок 1
28.09.20 Логика высказываний, ее корректность. Лемма о дедукции. Листок 2

Источники

Числа Каталана: Черновик учебника по дискретной математике
Логика высказываний: Верещагин, А. Шень, Языки и исчисления.

Результаты