Логическое программирование от НОУ ИНТУИТ

Кол-во строк:

Заголовок	Просмотры
Лекция 1: Что такое логическое программирование	719
Лекция 2: Введение в Пролог и логическое программирование	884
Лекция 3: Логика	726
Лекция 4: Метод резолюции	2197
Лекция 5: Языки логического программирования Пролог и Mercury	916
Лекция 6: Рекурсивные структуры данных. Списки и деревья	805
Лекция 7: Отрицание в логическом программировании	642
Лекция 8: Решение логических задач. Метод генерации и проверок	674
Лекция 9: Типизация в логических языках	589
Лекция 10: Алгоритмы поиска в графах	636

Страница 1 из 2

-->

Видеотека