Функциональное программирование: учебник и практикум для академического бакалавриата

Функциональное программирование: учебник и практикум для академического бакалавриата

Xehetasun bibliografikoak
Egile nagusia:	Кубенский А. А. Александр Александрович
Erakunde egilea:	Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (НИУ ИТМО)
Gaia:	В издании рассматриваются теоретические и практические основы функционального программирования. Практическая часть представлена языком Haskell, широк, использующимся в настоящее время как для представления "типичного" языка функционального программирования, так и для практического применения в сложных многопроцессорных и распределенных системах. Теоретическая часть содержит основы лямбда-исчисления, которое является математической основой функционального программирования, и начата комбинаторной логики. Содержание учебника соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов высших учебных заведений, обучающихся по инженерно-техническим направлениям.
Hizkuntza:	errusiera
Argitaratua:	Москва, Юрайт, 2018
Saila:	Бакалавр. Академический курс
Gaiak:	Программирование функциональное Haskell языки программирования функции отображение свертка лямбда-выражения данные частичная параметризация ленивые вычисления функторы монады функциональные программы интерпретация графическое представление комбинаторная редукция теория задачи типовые решения самостоятельные решения практикумы учебники
Formatua:	Liburua
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=325032

Antzeko izenburuak

Квантовые вычисления и функциональное программирование
nork: Душкин Р. В. Роман Викторович
Argitaratua: (Москва, ДМК Пресс, 2015)

Функциональное программирование: конспект лекций
nork: Кудрявцев К. Я.
Argitaratua: (Москва, НИЯУ МИФИ, 2020)

Функциональное программирование на С++
nork: Чукич И.
Argitaratua: (Москва, ДМК Пресс, 2020)

Функциональное программирование на языке Haskell
nork: Душкин Р. В.
Argitaratua: (Москва, ДМК Пресс, 2008)

Категории для работающего математика: пер. с англ.
nork: Маклейн С. Саундерс
Argitaratua: (Москва, Физматлит, 2004)

Функциональные языки распределённых систем учебное пособие для студентов направления 09.04.04 «программная инженерия»
nork: Старолетов С. М.
Argitaratua: (Барнаул, АлтГТУ, 2019)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2024)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2022)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2023)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2025)

Функциональное программирование учебник и практикум для вузов
nork: Кубенский А. А. Александр Александрович
Argitaratua: (Москва, Юрайт, 2021)

Практика работы на языке Haskell
nork: Душкин Р. В.
Argitaratua: (Москва, ДМК Пресс, 2010)

Функциональное программирование на F#
nork: Сошников Д. В.
Argitaratua: (Москва, ДМК Пресс, 2011)

Основные классы Java учебное пособие
nork: Ляликова В. Г.
Argitaratua: (Воронеж, ВГУ, 2020)

Лямбда-выражения в Java 8. Функциональное программирование – в массы
nork: Уорбэртон Р.
Argitaratua: (Москва, ДМК Пресс, 2014)

Функциональное программирование учебное пособие
nork: Петренко А. А.
Argitaratua: (Пермь, ПНИПУ, 2022)

Универсальные коллекции языка С# учебное пособие
nork: Зайцев М. Г.
Argitaratua: (Новосибирск, НГТУ, 2022)

Кн. 1. Ч. I-II; Практика и теория программирования
Argitaratua: (2008)

Справочник по языку Haskell
nork: Душкин Р. В.
Argitaratua: (Москва, ДМК Пресс, 2009)

How to transform all multiple solutions of the Kemeny Ranking Problem into a single solution; Journal of Physics: Conference Series; Vol. 1379
nork: Muravyov (Murav’ev) S. V. Sergey Vasilyevich
Argitaratua: (2019)

Метод продолжения решения по параметру и наилучшая параметризация в прикладной математике и механике
nork: Шалашилин В. И. Владимир Иванович
Argitaratua: (Москва, Эдиториал УРСС, 1999)

Язык программирования учебное пособие
nork: Потапов И. И.
Argitaratua: (Хабаровск, ДВГУПС, 2019)

Выбор лучшего инвестиционного решения методом аддитивной свертки; Прогрессивные технологии и экономика в машиностроении
nork: Джумахонзода Ш. Ш.
Argitaratua: (2024)

Применение полиномиальных преобразований для быстрого вычисления двумерных сверток; Вычислительные методы и программирование: новые вычислительные технологии; Т. 17, № 3
nork: Калиновский И. А. Илья Андреевич
Argitaratua: (2016)

Основы программирования: учебник и практикум для прикладного бакалавриата
nork: Черпаков И. В. Игорь Владимирович
Argitaratua: (Москва, Юрайт, 2016)

Основы программирования: учебник и практикум для прикладного бакалавриата
nork: Черпаков И. В. Игорь Владимирович
Argitaratua: (Москва, Юрайт, 2016)

Функциональное и логическое программирование: учебное пособие
nork: Сергиевский Г. М. Георгий Максимович
Argitaratua: (Москва, Академия, 2010)

Алгебраическая геометрия: методы, связи и приложения: сборник статей
Argitaratua: (Москва, Наука, 2004)

Инфинитезимальный анализ; Ч. 1
nork: Гордон Е. И. Евгений Израилевич
Argitaratua: (Новосибирск, Изд-во Ин-та математики СО РАН, 2001)

Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах
nork: Вольфенгаген В. Э. Вячеслав Эрнстович
Argitaratua: (Москва, Центр ЮрИнфоР, 2003)

Типы в языках программирования: пер. с англ.
nork: Пирс Б. Бенджамин
Argitaratua: (Москва, Лямбда пресс, 2012)

Общая топология. Основные конструкции: учебное пособие
nork: Федорчук В. В. Виталий Витальевич
Argitaratua: (Москва, Физматлит, 2006)

LabVIEW для новичков и специалистов
nork: Пейч Л. И. Лидия Ивановна
Argitaratua: (Москва, Горячая линия-Телеком, 2004)

C++ Builder: задачи и решения: учебное пособие для вузов
nork: Рыбалка С. А. Сергей Анатольевич
Argitaratua: (Томск, Изд-во ТПУ, 2010)

Магнитомер дефектоскопический МФ-23ИМ; Дефектоскопия; № 1
nork: Мужицкий В. Ф.
Argitaratua: (2004)

К теории конечных групп: сборник статей
Argitaratua: (Москва, Мир, 1979)

Структуры и алгоритмы обработки данных. Объектно-ориентированный подход и реализация на C++: учебное пособие
nork: Кубенский А. А.
Argitaratua: (СПб., БХВ-Петербург, 2004)

Математика. Дискретное преобразование Фурье и быстрое преобразование Фурье методические указания
nork: Фарфоровская Ю. Б.
Argitaratua: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2013)

Использование технологии WPF для визуализации и анализа данных в MICROSOFT VISUAL STUDIO 2010; Технологии Microsoft в теории и практике программирования
nork: Бондарев Ю. В.
Argitaratua: (2011)

Functional Imaging and Modeling of the Heart: Second International Workshop, FIMH 2003 Lyon, France, June 5-6, 2003 Proceedings
Argitaratua: (Berlin, Springer-Verlag, 2003)