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

dc.contributor.author	Мінтій, Ірина Сергіївна
dc.date.accessioned	2017-10-02T12:05:20Z
dc.date.available	2017-10-02T12:05:20Z
dc.date.issued	2009
dc.identifier.citation	Мінтій І. С. Математичні основи функціонального підходу до програмування / І. С. Мінтій // Розвиток інтелектуальних умінь і творчих здібностей учнів та студентів у процесі навчання математики : матеріали Всеукр. наук.-метод. конф. (м. Суми, 3–4 грудня 2009 р.). – Суми, 2009. – С. 219–220.	uk
dc.identifier.uri	http://elibrary.kdpu.edu.ua/handle/0564/1346
dc.identifier.uri	https://doi.org/10.31812/0564/1346
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.title	Математичні основи функціонального підходу до програмування	uk
dc.title.alternative	Mathematical foundations of functional programming	uk
dc.title.alternative	Математические основы функционального подхода к программированию	uk
dc.type	Article	uk