Literature


Mainpage Lections on Functional and Logical Programming

2008

Lections are based on materials listed bellow. Note: Some texts are included without any modifications and should be considered as copyright objects of their authors, of course.

  1. Крицкий С.В. Программирование на языке Лисп. - Мн.: МРТИ, 1991.
  2. Хендерсон Н. Функциональное программирование. Применение и реализация. - М.: Мир, 1988.
  3. Хювенен Э., Сеппянен И. Мир Лиспа. В 2-х томах. - М.: Мир, 1990.
  4. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М.: Мир, 1990.
  5. Хоггер К. Введение в логическое программирование. - М.: Мир, 1988.
  6. Братко И. Программирование на языке Пролог для искусственного интеллекта. - М.: Мир, 1990.
  7. Ин П., Соломон Д. Использование Турбо-Пролога. - М.: Мир, 1993.
  8. Малпас Дж. Реляционный язык Пролог и его применение. - М.: Наука, 1990.
  9. Лавров С.С., Силагадзе Г.С. Автоматическая обработка данных. Язык Лисп и его реализация. - М.: Наука, 1978.
  10. Клоксин У., Меллиш К. Программирование на языке Пролог. - М.: Мир, 1987.
  11. Логический подход к исскуственному интеллекту: от классической логики к логическому программированию. - М.: Мир, 1990.
  12. Алферова З.В. Теория алгоритмов. - М.: Статистика, 1973.
  13. Колмогоров А.Н. Теория информации и теория алгоритмов. – М.: Наука, 1987.
  14. Верещагин Н.К., Шень А. Вычислимые функции. – М.: МЦНМО, 1999.
  15. Успенский В.А., Семенов А.Л. Теория алгоритмов. – М.: Наука, 1987.
  16. Хьюз Д.Сильные стороны функционального программирования
  17. Peter Seibel. Practical Common Lisp.- Apress, 2005.
  18. Петер Р. Рекурсивные функции — ИЛ, 1954.
  19. Гильберт Д, Бернайс П. Основания математики, Т. 1. — М.: Наука, 1979.
  20. Григорьева И.В., Функциональное программирование, лекции
  21. Душкин Р.В., Функциональное программирование, лекции, 2001.
  22. Морозов М.Н.,Функциональное и логическое программирование, лекции, 2001.
  23. М.Наука, 1990. - .- (Информатика: неограниченные возможности и возможные ограничения). Вып.5: Пусть докажет компьютер / А.Е. Болтов, В.А. Бочаров, А.Е. Горчаков идр. - 2004. - 2007 с.