Математическая логика и теория алгоритмов 0. Вводная лекция

Дата лекции: 07.02.24
Лектор: Мусатов Даниил Владимирович

Оператор: Савельев Егор
Монтажёр: Сиомаш Иван

[Egor]

00:00:28 Оценивание в семестре
00:07:51 Экзамен и дополнительные вопросы
00:11:19 Бонус и дополнительные задания
00:15:59 Правила экзамена
00:18:13 Темы второго семестра
00:28:38 Теорема Геделя о неполноте
00:30:46 Лямбда-исчисление