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