ВУЗ:
Составители:
Литература
1. Барендрегт Х. Ламбда–исчисление. Его синтаксис и семантика. – М.: Мир, 1985.–606с.
2. Грэй П. Логика, алгебра и базы данных: Пер. с англ.− М.: Машиностроение, 1989. −
359с.
3. Дейкстра Э. Заметки по структурному программированию // Дал У., Дейкстра Э., Хоор
К. Структурное программирование. – М.: Мир, 1975, с.7–97.
4. Математическая логика в программировании: Сб. статей 1980-1988 гг.: Пер. с англ. −
М.: Мир, 1991.− 408с.
5. Мендельсон Э. Введение в математическую логику – М.: Наука, 1976.– 320с.
6. Непейвода Н. Н. Прикладная логика: Учебное пособие. – Новосибирск, Изд–во
Новосиб. ун–та, 2000. – 521 с.
7. Одинцов И. О. Профессиональное программирование. Системный подход. – СПб.:
БХВ–Петербург, 2002. – 512 с.
8. Филд А., Харрисон П. Функциональное программирование. – М.: Мир, 1993. – 637 с.
9. Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. – Самара: Издательский
Дом «Бахрах-М», 2001. – 752 с.
10. Энгелер Э. Метаматематика элементарной математики. – М.: Мир,1987. – 128 с.
11. Язык Пролог в пятом поколении ЭВМ: Сб. статей 1983 – 1986 гг. / Сост. Н. И. Ильин-
ский. – М.: Мир, 1988.
12. Church A. The Calculi of Lambda Conversion. Princeton University Press, Princeton, 1941.
13. Hughes J. Why Functional Programming Matters. In D. Turner, editor, Research Topics in
Functional Programming. Addison Wesley, 1990.
14. Lethbridge T. C. Priorieties for education and training of software engineers. // The Jornal of
Systems and Software, 53, 200, pp. 53-57.
15. Schönfincel M. Über die Bausteine der mathematischen Logik. Math. Annalen, 92, 1924,
s. 305–316.
83
