Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://elibrary.kdpu.edu.ua/xmlui/handle/0564/1348Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| 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 |
| Розташовується у зібраннях: | Кафедра інформатики та прикладної математики | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Sumu_2009.doc | 936 kB | Microsoft Word | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.