|
Пропала возможность скачивать презентации к лекциям курса. Куда писать баг-репорт? P.S.: Курс "Логическое программирование". |
Инспектор
Вы можете этот курс.
Опубликован: 08.07.2011 | Уровень: специалист | Доступ: платный | ВУЗ: Московский физико-технический институт
Лекция 7:
Отрицание в логическом программировании
< Лекция 1 || Лекция 7
Аннотация: Отрицание. Управление перебором и отсечение. Метод генерации и проверок.
< Лекция 1 || Лекция 7
Dmytro Malishevskyi