DSpace Home
→
Електронні публікації
→
Фізико-математичний факультет
→
Кафедра інформатики та прикладної математики
→
View Item

dc.contributor.author	Мінтій, Ірина Сергіївна
dc.date.accessioned	2017-10-02T17:24:57Z
dc.date.available	2017-10-02T17:24:57Z
dc.date.issued	2009
dc.identifier.citation	Мінтій І. С. Математичні основи функціонального програмування / І. С. Мінтій // Педагогічні науки: теорія, історія, інноваційні технології : науковий журнал. – Суми, 2009. – № 2. – С. 337–345.	uk
dc.identifier.issn	2312-5993
dc.identifier.uri	http://elibrary.kdpu.edu.ua/handle/0564/1348
dc.identifier.uri	https://doi.org/10.31812/0564/1348
dc.description	1. Информатика: энциклопедический словарь для начинающих / Сост. Д. А. Поспелов. - М. : Педагогика-Пресс, 1994. - 352 с. 2. Лаптев В. В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки / Лаптев В. В., Рыжова Н. И., Швецкий М. В. - СПб. : Изд- во C.-Петерб. ун-та, 2003. - 352 с. 3. Чёрч А. Введение в математическую логику. Т. 1. / Чёрч А. - М. : Изд-во иностранной литературы, 1960. - 486 с.
dc.description.abstract	В статті встановлено відповідність між формальною системою λ-числення та функціональним програмуванням. В статье установлено соответствие между формальной системой λ-исчисления и функциональным программированием. In article conformity between formal system λ-calculations and functional programming is established.	uk
dc.language.iso	uk	uk
dc.publisher	Вид-во СумДПУ ім. А. С. Макаренка	uk
dc.subject	функціональний підхід	uk
dc.subject	формальна система	uk
dc.subject	лямбда-числення	uk
dc.subject	функціональне програмування	uk
dc.title	Математичні основи функціонального програмування	uk
dc.type	Article	uk