Лекция 15. Теорема Эрбрана

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