Лекция 1: Что такое логическое программирование

Логическое программирование

Лекция 1: Что такое логическое программирование

Лекция 2: Введение в Пролог и логическое программирование

Лекция 3: Логика

Лекция 4: Метод резолюции

Лекция 5: Языки логического программирования Пролог и Mercury

Лекция 6: Рекурсивные структуры данных. Списки и деревья

Лекция 7: Отрицание в логическом программировании

Лекция 8: Решение логических задач. Метод генерации и проверок

Лекция 9: Типизация в логических языках

Лекция 10: Алгоритмы поиска в графах

Полный курс в видеоальбоме: https://vk.cc/6FT7GW

@itcookies @itcookies

Источник: vk.com

Комментарии: