Abstract:
В статті встановлено відповідність між формальною системою λ-числення та функціональним програмуванням.
В статье установлено соответствие между формальной системой λ-исчисления и функциональным программированием.
In article conformity between formal system λ-calculations and functional programming is established.
Description:
1. Информатика: энциклопедический словарь для начинающих / Сост. Д. А. Поспелов. - М. : Педагогика-Пресс, 1994. - 352 с.
2. Лаптев В. В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки / Лаптев В. В., Рыжова Н. И., Швецкий М. В. - СПб. : Изд- во C.-Петерб. ун-та, 2003. - 352 с.
3. Чёрч А. Введение в математическую логику. Т. 1. / Чёрч А. - М. : Изд-во иностранной литературы, 1960. - 486 с.
