Московский физико-технический институт
Опубликован: 08.07.2011 | Доступ: свободный | Студентов: 1632 / 236 | Оценка: 4.80 / 4.70 | Длительность: 04:48:00
Специальности: Программист
Лекция 4:

Метод резолюции

< Лекция 1 || Лекция 4
Аннотация: Логика высказываний и предикатов. Сколемизация. Построение множества дизъюнктов. Унификация. Наиболее общий унификатор. Правило резолюции. Дизъюнкты Хорна. Стратегии поиска решений.
< Лекция 1 || Лекция 4
Наиль Бухараев
Наиль Бухараев

Здравствуйте! Неясно, решился ли вопрос с загрузкой презентации - см. вопрос выше. Без нее занятие становится крайне затруднительным, практически невозможным!

Dmytro Malishevskyi
Dmytro Malishevskyi

Пропала возможность скачивать презентации к лекциям курса. Куда писать баг-репорт?

P.S.: Курс "Логическое программирование".