Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 04.04.2015 | Доступ: свободный | Студентов: 302 / 0
Лекция 5:

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

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

< Лекция 1 || Лекция 5
Егор Шишебаров
Егор Шишебаров
Здравствуйте! Материалов курса нет, когда можно будет изучить курс?