| Здравствуйте! Материалов курса нет, когда можно будет изучить курс? |
Московский государственный гуманитарный университет имени М.А. Шолохова
Опубликован: 04.04.2015 | Доступ: свободный | Студентов: 304 / 0
Специальности: Программист, Архитектор программного обеспечения, Математик
Лекция 5:
Интерпретация и полнота исчисления предикатов
< Лекция 1 || Лекция 5
Аннотация: В начале лекции кратко повторяются основные понятия и термины исчисления предикатов (ИП): алфавит, множество формул, множество аксиом, множество правил вывода. Далее рассматриваются понятия интерпретации и полноты ИП. Приводится теорема Гёделя о полноте, теоремы о разрешимости ИП.
< Лекция 1 || Лекция 5
