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