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 с.
