Математическая логика и теория алгоритмов. Лекция 12. Формальные системы

Описание: Дата лекции: 24.04.24
Лектор: Зухба Анастасия Викторовна

Оператор: Дмитрий Достовалов
Редактор: Илья Оплачкин

Сайт ВШПИ: https://hsse.mipt.ru
Чат абитуриентов в telegram: https://t.me/hsse_entering
Сообщество ВШПИ в 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 - Пояснение к арифметической иерархии