Dopglavy DM 1920 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
| Строка 39: | Строка 39: | ||
Числа Каталана: [http://rubtsov.su/public/hse/2017/DM-HSE-Draft.pdf Черновик учебника по дискретной математике] <br> | Числа Каталана: [http://rubtsov.su/public/hse/2017/DM-HSE-Draft.pdf Черновик учебника по дискретной математике] <br> | ||
| + | Логика высказываний: [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Верещагин, А. Шень, Языки и исчисления.] <br> | ||
<!--- | <!--- | ||
Многочлены для булевых функций: [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> | ||
Версия 18:42, 1 октября 2019
Общая информация
Расписание
Первое занятие пройдет 18 сентября с 16:40 до 18:00 в ауд. R306.
Последующие занятия будут проходить по средам с 16:40 до 18:00 в ауд. D510.
Материалы курса
| Дата | Summary | Домашнее задание |
|---|---|---|
| 18.09.19 | Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений. | Листок 1 |
| 25.09.18 | Логика высказываний, ее корректность. Лемма о дедукции. | Листок 2 |
Источники
Числа Каталана: Черновик учебника по дискретной математике
Логика высказываний: Верещагин, А. Шень, Языки и исчисления.
