Ремендуемая литература

1. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах./под ред.В.Н.Вагина, Д.А.Поспелова.-2-е изд.М.:Физматлит, 2008.-712 с.

2. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука. 1986.

3. Катленд К. Вычислимость. Введение в теорию рекурсивных функций. М.: Мир, 1983.

4. Трахтенброт Б.А. Алгоритмы и вычислительные автоматы. М.: Сов.Радио, 1974.

5. Фролов А.Б., Андреев А.Е., Болотов А.А., Коляда К.В. Прикладные задачи дискретной математики и сложность алгоритмов./Под ред. В.Б.Кудрявцева.-М.: МЭИ, 1997. -312 с.

6. Набебин А.А. Логика и Пролог в дискретной математике. /Под ред. Вагина В.Н. М: МЭИ, 1994.

7. Клини C.К. Математическая логика. М.:Мир, 1973, -480 с.

8. Кузнецов О.П. Дискретная математика для инженера. Изд. 3-е, С-Пб., изд.»Лань», 2004 г. -395 с.

9. Лорьер Ж.Л. Системы искусственного интеллекта.М.: Мир, 1991.

10. Логический подход к искусственному интеллекту /А. Тей, П. Грибомон, Ж. Луи и др. М.:Мир, 1990.

11. Ковальски Р. Логика в решении проблем. М.:Наука, 1990.

12. Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.

13. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983, -358 с.

14. Логика и компьютер. Моделирование рассуждений и проверка правильности программ./ Н.А. Алешина, А.М.Анисов, П.И. Быстров и др. - М.:Наука,1990. -(Серия “Кибернетика - неограниченные возможности и возможные ограничения”).

15. Криницкий Н.А. Аналитическая теория алгоритмов.М.: Физматлит, 1994.-352 с.

16. Т.Кормен, Ч.Лейзерсон, Р.Риверст. Алгоритмы: построение и анализ.М.: МЦМНО, 2001.-960 с.

1 Для некоторых ФС при определении формулы линейная упорядочен­ность термов и операций не требуется. Однако в книге рассматриваются в качестве формул только линейно упорядоченные совокупности термов и операций. (Прим. ред.)