Плиско В.Е. - Введение в математическую логику - 15. Теорема Эрбрана

00:00:15 Введение. Стандартная форма. Равновыполнимые формы. Альфа-нормальная форма. Пример 00:10:15 Скулемовская форма. Пример. Теорема о равновыполнимости 00:24:17 Дизъюнктное представление высказывания. Пример 00:34:43 Эрбрановский универсум. Эрбрановская интерпретация 00:46:08 Существование эрбрановской модели. Теорема Эрбрана 00:56:43 Об автоматическом доказательстве теорем. Пример. Резольвента 01:13:04 Резольвента — логическое следствие. Резолюционный вывод. Пример. Теорема о корректности 01:20:21 Теорема о полноте Ссылка на плейлист: #математическаялогика