Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки? Спасибо! |
Опубликован: 24.11.2009 | Доступ: свободный | Студентов: 2150 / 427 | Оценка: 4.60 / 4.60 | Длительность: 02:24:00
Специальности: Программист
Теги:
Лекция 12:
Метод резолюций в исчислении высказываний и исчислении предикатов
< Лекция 1 || Лекция 12
Аннотация: Лекция целиком посвящена методу резолюций в исчислении высказываний и исчислении предикатов. Подробно излагается идея и суть метода, даются основные определения и понятия, на житейском примере разбирается алгоритм работы. В заключении рассматривается метод аналитических таблиц как альтернатива методу резолюций.
< Лекция 1 || Лекция 12