Логическое и функциональное программирование

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