Dopglavy DM 2021 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Строка 138: | Строка 138: | ||
Числа Каталана: [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> | Логика высказываний: [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Верещагин, А. Шень, Языки и исчисления.] <br> | ||
+ | <!--- | ||
Замкнутые классы булевых функций: [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Верещагин, А. Шень, Языки и исчисления.] <br> | Замкнутые классы булевых функций: [https://www.mccme.ru/free-books/shen/shen-logic-part2-2.pdf Верещагин, А. Шень, Языки и исчисления.] <br> | ||
Лемма Шпернера, теорема Брауэра: [http://math.mit.edu/~fox/MAT307-lecture03.pdf http://math.mit.edu/~fox/MAT307-lecture03.pdf] <br> | Лемма Шпернера, теорема Брауэра: [http://math.mit.edu/~fox/MAT307-lecture03.pdf http://math.mit.edu/~fox/MAT307-lecture03.pdf] <br> |
Версия 12:00, 29 сентября 2020
Общая информация
Расписание
Занятия проходят по понедельникам в 18:10 в аудитории R408. Первое занятие прошло 21 сентября.
Материалы курса
Первый семестр
Дата | Summary | Домашнее задание |
---|---|---|
21.09.20 | Числа Каталана. Рекурсивное определение и определение через баланс скобок, их эквивалентность. Рекуррентная формула для чисел Каталана. Выводы формулы для чисел Каталана: метод отражений. | Листок 1 |
28.09.20 | Логика высказываний, ее корректность. Лемма о дедукции. | Листок 2 |
Источники
Числа Каталана: Черновик учебника по дискретной математике
Логика высказываний: Верещагин, А. Шень, Языки и исчисления.