Введение
Лекция 1 Основные определения. ИС
Лекция 2. Правила вывода. Дерево вывода. Примеры в...
Лекция 3 Допустимые правила
Лекция 4 Эквивалентность формул в ИС
Лекция 5 Нормальные формы в ИС
Лекция 6 Семантика ИС
Лекция 8 Вывод в ИВ. Эквивалентность ИС и ИВ.
Лекция 9 Применение теоремы об эквивалентности. Пр...
Лекция 7 ИВ. Теорема о дедукции
Лекция 11 Истинность формул в сигнатуре. ИПС
Лекция 10 Метод резолюций
Лекция 12 Коллоквиум Продолжение темы
Лекция 15 теорема о существовании модели
Лекция 16 ИП
Лекция 17 Скулемизация АС
Лекция 18 Метод унификации в ИП
Лекция 19 Метод резолюций в ИП
Лекция 20 Применение в программировании