Лекция 11: Интерпретация и полнота исчисления предикатов
defaultValue- Подробности
- Категория: Алгоритмы и теория вычислений
В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.
