Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://elibrary.kdpu.edu.ua/xmlui/handle/0564/1348| Назва: | Математичні основи функціонального програмування |
| Автори: | Мінтій, Ірина Сергіївна |
| Ключові слова: | функціональний підхід формальна система лямбда-числення функціональне програмування |
| Дата публікації: | 2009 |
| Видавництво: | Вид-во СумДПУ ім. А. С. Макаренка |
| Бібліографічний опис: | Мінтій І. С. Математичні основи функціонального програмування / І. С. Мінтій // Педагогічні науки: теорія, історія, інноваційні технології : науковий журнал. – Суми, 2009. – № 2. – С. 337–345. |
| Короткий огляд (реферат): | В статті встановлено відповідність між формальною системою λ-числення та функціональним програмуванням. В статье установлено соответствие между формальной системой λ-исчисления и функциональным программированием. In article conformity between formal system λ-calculations and functional programming is established. |
| Опис: | 1. Информатика: энциклопедический словарь для начинающих / Сост. Д. А. Поспелов. - М. : Педагогика-Пресс, 1994. - 352 с. 2. Лаптев В. В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки / Лаптев В. В., Рыжова Н. И., Швецкий М. В. - СПб. : Изд- во C.-Петерб. ун-та, 2003. - 352 с. 3. Чёрч А. Введение в математическую логику. Т. 1. / Чёрч А. - М. : Изд-во иностранной литературы, 1960. - 486 с. |
| URI (Уніфікований ідентифікатор ресурсу): | http://elibrary.kdpu.edu.ua/handle/0564/1348 https://doi.org/10.31812/0564/1348 |
| ISSN: | 2312-5993 |
| Розташовується у зібраннях: | Кафедра інформатики та прикладної математики |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Sumu_2009.doc | 936 kB | Microsoft Word | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.