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