Дата лекции: 24.04.24 Лектор: Зухба Анастасия Викторовна Оператор: Дмитрий Достовалов Редактор: Илья Оплачкин Сайт ВШПИ:
Чат абитуриентов в telegram:
Сообщество ВШПИ в VK:
https://vk.com/hssemiptru 00:00 - Повторение 2:50 - Связь разделов 7:00 - Формальные системы 8:10 - 1) Алфавит 11:15 - 2) Формулы 13:15 - 3) Аксиомы 17:00 - 4) Правила вывода 18:30 - Связь с булевой алгеброй 19:45 - Пример 21:40 - Исчисление предикатов 22:10 - 1) Алфавит 27:40 - 2) Формулы 33:25 - Разбор примера 43:00 - Формулировка теории групп 52:50 - Формальная арифметика 1:00:10 - Разрешимость и перечислимость 1:04:50 - Теорема Тарского 1:07:50 - Теорема Геделя 1:10:00 - Пояснение к арифметической иерархии
