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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 51: Строка 51:
 
|-  
 
|-  
 
|| 12.10.21 || Замкнутые классы булевых функций. Теорема Поста. || [https://www.dropbox.com/s/zhkyucq844znzry/cw03_dop.pdf?dl=0 Листок 3]  
 
|| 12.10.21 || Замкнутые классы булевых функций. Теорема Поста. || [https://www.dropbox.com/s/zhkyucq844znzry/cw03_dop.pdf?dl=0 Листок 3]  
<!---
 
 
|-  
 
|-  
|| 12.10.20 || Лемма Шпернера. Теорема Брауэра. || [https://www.dropbox.com/s/88raglxnoxnrzd5/cw04_dop.pdf?dl=0 Листок 4]  
+
|| 26.10.20 || Лемма Шпернера. Теорема Брауэра. || [https://www.dropbox.com/s/3u4xqqnptya08tx/cw04_dop.pdf?dl=0 Листок 4]  
 +
<!---
 
|-  
 
|-  
 
|| 26.10.20 || Вполне упорядоченные множества, их свойства. Начальные отрезки, их свойства. Теорема о рекурсии, формулировка. || [https://www.dropbox.com/s/zgnf3lgg16fpvyz/cw05_dop.pdf?dl=0 Листок 5]
 
|| 26.10.20 || Вполне упорядоченные множества, их свойства. Начальные отрезки, их свойства. Теорема о рекурсии, формулировка. || [https://www.dropbox.com/s/zgnf3lgg16fpvyz/cw05_dop.pdf?dl=0 Листок 5]

Версия 14:39, 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.20 Лемма Шпернера. Теорема Брауэра. Листок 4

Источники

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

Результаты