| Найдено документов - 3 | Найти похожие: "Заглавие" = 'Функциональное программирование' | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 32.973.25я73 - К 88
Кубенский, А. А.
Функциональное программирование : учебник и практикум для академического бакалавриата / А. А. Кубенский. — Москва : Юрайт, 2022. — 348 с. — (Высшее образование). — Список рек. лит.: с .347. — ISBN 978-5-9916-9242-7. — Текст : непосредственный + электронный.
Функциональное программирование : учебник и практикум для академического бакалавриата / А. А. Кубенский. — Москва : Юрайт, 2022. — 348 с. — (Высшее образование). — Список рек. лит.: с .347. — ISBN 978-5-9916-9242-7. — Текст : непосредственный + электронный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Внешний ресурс:
ЭБС ЮРАЙТ. Электронная версия. Доступ по логину и паролю. Доступ до 07.02.2024
Дисциплина из КО: Низкоуровневое программирование, Разработка приложений на JAVA, Функциональное программирование
Подробнее
Авторы: Кубенский А. А.
Отраслевые рубрики: вычислительная техника, методы программирования, парадигмы программирования, программирование
Ключевые слова: Haskell, SECD-машина, императивное программирование, классы, комбинаторная редукция, ленивые вычисления, лямбда-выражения, лямбда-исчисление, монады, отображения, параметризация функций, свертки, типы данных, функторы, функции высших порядков, функциональное программирование, функциональные программы
Индексы ББК: 32.973.25я73
Представления: Формат MARC21
2. Книга
Полочный шифр: 22.185.4я73 испр. - Ш 183
Шалимов, П. Ю.
Функциональное программирование : учебное пособие / П. Ю. Шалимов ; Федеральное агентство по образованию; Брянский государственный технический университет (БГТУ); научный редактор Э. А. Лагерева. — Брянск : БГТУ, 2003. — 160 с. : ил. — Предм. указ.: с. 155. - Список использ. и рек. лит.: с. 157. — ISBN 5-89838-112-0.
Функциональное программирование : учебное пособие / П. Ю. Шалимов ; Федеральное агентство по образованию; Брянский государственный технический университет (БГТУ); научный редактор Э. А. Лагерева. — Брянск : БГТУ, 2003. — 160 с. : ил. — Предм. указ.: с. 155. - Список использ. и рек. лит.: с. 157. — ISBN 5-89838-112-0.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Шалимов П. Ю.
Отраслевые рубрики: математика, математическое программирование, программирование
Ключевые слова: автоматическая сборка мусора, ввод-вывод, декларативное программирование, динамическая проверка типов, замыкание, императивное программирование, императивный метод, искусственный интеллект, карринг, ЛИСП (LISP), логическое программирование, лямбда-исчисление Черча, организация управления, отображающие функционалы, последовательные вычисления, рекурсивные функции, рекурсия, символьные выражения, структуроразрушающее программирование, точечные пары, функции, функциональное программирование, функциональные языки программирования, Черча рекурсивные функции, языки программирования
Индексы ББК: 22.185.4я73, 22.183.4я73
Представления: Формат MARC21
3. Книга
Полочный шифр: 22.185.4 испр. - Ф 519
Филд, А.
Функциональное программирование / А. Филд, П. Харрисон, М. В. Федоров ; перевод с английского М. В. Горбатовой, А. А. Рябинина, В. Л. Торхова; под редакцией В. А. Горбатова. — Москва : Мир, 1993. — 637 с. : ил.
Функциональное программирование / А. Филд, П. Харрисон, М. В. Федоров ; перевод с английского М. В. Горбатовой, А. А. Рябинина, В. Л. Торхова; под редакцией В. А. Горбатова. — Москва : Мир, 1993. — 637 с. : ил.
Экземпляры: Всего: 5, из них: аб.-4 в наличии 4, ч/з-1 в наличии 1
Подробнее
Авторы: Филд А., Харрисон П., Федоров М. В.
Отраслевые рубрики: математика, математическая кибернетика
Ключевые слова: комбинаторная редукция, методы интерпретации, оптимизация, программирование, реализация, редукция графов, рекурсия, теория доменов, теория функций, функции, функциональное программирование, языки программирования
Индексы ББК: 22.185.4, 22.18
Представления: Формат MARC21