Интуит, 2004. - 150 с. В курсе изложены основы функционального программирования и методы его применения при решении сложных задач на стыке искусственного интеллекта и системного программирования. Студенты познакомятся с основами символьной обработки информации, слабо отраженными в отечественной литературе, а также с эффективными методами преобразования информации, реализация...
Учебное пособие. — Выходные данные не приведены. Автор не известен. — 112 с.
Введение.
Прямой и обратный вывод.
Математические основы.
Алгебра высказываний.
Синтез логических выражений.
Исчисление предикатов.
Правила вывода логики предикатов.
Функциональное программирование.
Индуктивный вывод.
Практические задания.
Рекурсия.
Использование списков.
Логическое...
Комментарии