Dopglavy DM 2022

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск

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

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

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


Расписание

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


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

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

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

Источники

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

Результаты