Лекция 11: Интерпретация и полнота исчисления предикатов

Подробности

Категория: Алгоритмы и теория вычислений

В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.