Математическая логика и теория алгоритмов 15. Исчисление предикатов

Описание

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

Съемка: Прозорова Лилия
Монтаж: Зенина Дарья

0:00:00 - Введение
0:03:08 - Аксиомы
0:09:17 - Правила Бернайса
0:19:40 - Правило обобщения
0:21:06 - Вывод в исчислении предикатов
0:28:15 - Примеры вывода
0:32:25 - Пример 2
0:35:40 - Пример 3
0:38:40 - Пример 4
0:41:50 - Пример 5
0:48:37 - Теорема Гёделя о полноте в слабой и сильной форме
0:58:40 - Лемма о дедукции для исчисления предикатов
1:11:30 - Схема доказательства теоремы Гёделя о полноте
1:20:09 - Пополнение теории
1:26:55 - Экзистенциальное пополнение
1:35:40 - Счетная итерация первых двух шагов
1:40:45 - Построение модели из замкнутых термов
1:51:45 - Теорема о компактности для исчисления предикатов