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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 75: Строка 75:
 
Исчисление высказываний: [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>
+
 
 
Вполне упорядоченные множества: [https://www.mccme.ru/free-books/shen/shen-logic-part1-2.pdf Верещагин, А. Шень, Начала теории множеств.] <br>
 
Вполне упорядоченные множества: [https://www.mccme.ru/free-books/shen/shen-logic-part1-2.pdf Верещагин, А. Шень, Начала теории множеств.] <br>
 
Цепи и антицепи: [http://www.thi.informatik.uni-frankfurt.de/~jukna/EC_Book_2nd/  Stasys Jukna, Extremal Combinatorics] <br>
 
Цепи и антицепи: [http://www.thi.informatik.uni-frankfurt.de/~jukna/EC_Book_2nd/  Stasys Jukna, Extremal Combinatorics] <br>

Версия 15:33, 26 октября 2021

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

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

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


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


Расписание

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


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

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

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

Источники

Числа Каталана: Черновик учебника по дискретной математике
Исчисление высказываний: Верещагин, А. Шень, Языки и исчисления.
Замкнутые классы булевых функций: Верещагин, А. Шень, Языки и исчисления.
Лемма Шпернера, теорема Брауэра: http://math.mit.edu/~fox/MAT307-lecture03.pdf

Результаты