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