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.
- Крицкий С.В. Программирование на языке Лисп. - Мн.: МРТИ, 1991.
- Хендерсон Н. Функциональное программирование. Применение и реализация. - М.: Мир, 1988.
- Хювенен Э., Сеппянен И. Мир Лиспа. В 2-х томах. - М.: Мир, 1990.
- Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М.: Мир, 1990.
- Хоггер К. Введение в логическое программирование. - М.: Мир, 1988.
- Братко И. Программирование на языке Пролог для искусственного интеллекта. - М.: Мир, 1990.
- Ин П., Соломон Д. Использование Турбо-Пролога. - М.: Мир, 1993.
- Малпас Дж. Реляционный язык Пролог и его применение. - М.: Наука, 1990.
- Лавров С.С., Силагадзе Г.С. Автоматическая обработка данных. Язык Лисп и его реализация. - М.: Наука, 1978.
- Клоксин У., Меллиш К. Программирование на языке Пролог. - М.: Мир, 1987.
- Логический подход к исскуственному интеллекту: от классической логики к логическому программированию. - М.: Мир, 1990.
- Алферова З.В. Теория алгоритмов. - М.: Статистика, 1973.
- Колмогоров А.Н. Теория информации и теория алгоритмов. – М.: Наука, 1987.
- Верещагин Н.К., Шень А. Вычислимые функции. – М.: МЦНМО, 1999.
- Успенский В.А., Семенов А.Л. Теория алгоритмов. – М.: Наука, 1987.
- Хьюз Д.Сильные стороны функционального программирования
- Peter Seibel. Practical Common Lisp.- Apress, 2005.
- Петер Р. Рекурсивные функции — ИЛ, 1954.
- Гильберт Д, Бернайс П. Основания математики, Т. 1. — М.: Наука, 1979.
- Григорьева И.В., Функциональное программирование, лекции
- Душкин Р.В., Функциональное программирование, лекции, 2001.
- Морозов М.Н.,Функциональное и логическое программирование, лекции, 2001.
- М.Наука, 1990. - .- (Информатика: неограниченные возможности и возможные ограничения). Вып.5: Пусть докажет компьютер / А.Е. Болтов, В.А. Бочаров, А.Е. Горчаков идр. - 2004. - 2007 с.