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

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

Заголовок	Просмотры
Лекция 1: Что такое логическое программирование	673
Лекция 2: Введение в Пролог и логическое программирование	813
Лекция 3: Логика	686
Лекция 4: Метод резолюции	1838
Лекция 5: Языки логического программирования Пролог и Mercury	817
Лекция 6: Рекурсивные структуры данных. Списки и деревья	734
Лекция 7: Отрицание в логическом программировании	579
Лекция 8: Решение логических задач. Метод генерации и проверок	607
Лекция 9: Типизация в логических языках	553
Лекция 10: Алгоритмы поиска в графах	534

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

-->

Видеотека