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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 74: Строка 74:
  
 
Числа Каталана: [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>

Версия 16:01, 5 октября 2021

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

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

Классрум для сдачи дз: https://classroom.google.com/c/Mzk4MjI3NDUyMDI5?cjc=gsk6r3e


Расписание

Занятия проходят по вторникам в 14:40 в зуме. Первое занятие прошло 28 сентября.


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

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

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

Источники

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

Результаты