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