Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://elibrary.kdpu.edu.ua/xmlui/handle/0564/1346| Назва: | Математичні основи функціонального підходу до програмування |
| Інші назви: | Mathematical foundations of functional programming Математические основы функционального подхода к программированию |
| Автори: | Мінтій, Ірина Сергіївна |
| Ключові слова: | функціональний підхід формальна система лямбда-числення |
| Дата публікації: | 2009 |
| Видавництво: | Вид-во СумДПУ імені А. С. Макаренка |
| Бібліографічний опис: | Мінтій І. С. Математичні основи функціонального підходу до програмування / І. С. Мінтій // Розвиток інтелектуальних умінь і творчих здібностей учнів та студентів у процесі навчання математики : матеріали Всеукр. наук.-метод. конф. (м. Суми, 3–4 грудня 2009 р.). – Суми, 2009. – С. 219–220. |
| Короткий огляд (реферат): | В статті встановлено відповідність між формальною системою λ-числення та функціональним програмуванням. В статье установлено соответствие между формальной системой λ-исчисления и функциональным программированием. 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/1346 https://doi.org/10.31812/0564/1346 |
| Розташовується у зібраннях: | Кафедра інформатики та прикладної математики |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| sumu_2009_tezu.doc | 500 kB | Microsoft Word | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.