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

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

Bibliografiset tiedot
Päätekijä:	Кубенский А. А. Александр Александрович
Yhteisötekijä:	Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики (НИУ ИТМО)
Yhteenveto:	В издании рассматриваются теоретические и практические основы функционального программирования. Практическая часть представлена языком Haskell, широк, использующимся в настоящее время как для представления "типичного" языка функционального программирования, так и для практического применения в сложных многопроцессорных и распределенных системах. Теоретическая часть содержит основы лямбда-исчисления, которое является математической основой функционального программирования, и начата комбинаторной логики. Содержание учебника соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов высших учебных заведений, обучающихся по инженерно-техническим направлениям.
Kieli:	venäjä
Julkaistu:	Москва, Юрайт, 2018
Sarja:	Бакалавр. Академический курс
Aiheet:	Программирование функциональное Haskell языки программирования функции отображение свертка лямбда-выражения данные частичная параметризация ленивые вычисления функторы монады функциональные программы интерпретация графическое представление комбинаторная редукция теория задачи типовые решения самостоятельные решения практикумы учебники
Aineistotyyppi:	Kirja
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=325032

Samankaltaisia teoksia

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

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

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

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

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

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

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

Графическое представление информации: пер. с англ.
Tekijä: Боумен У.
Julkaistu: (Москва, Мир, 1971)

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

Графическое представление уровня и индекса качества продукции; Методы менеджмента качества; № 12
Tekijä: Железнов Г. С.
Julkaistu: (2002)

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

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

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

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

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

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

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

Функциональное и логическое программирование: учебное пособие
Tekijä: Озерова И. Г. Ирина Геннадьевна
Julkaistu: (Томск, Изд-во ТПУ, 2005)

Функциональное и логическое программирование: учебное пособие
Tekijä: Озерова И. Г. Ирина Геннадьевна
Julkaistu: (Томск, Изд-во ТПУ, 2004)

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

Графическое представление формы кулачка при квазиволновой подаче сварочной проволоки; Прогрессивные технологии и экономика в машиностроении; Т. 1
Julkaistu: (2004)

Т. 1: Введение в язык Лисп и функциональное программирование; Мир Лиспа
Julkaistu: (1990)

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

Функциональное шкалирование
Tekijä: Авен П. О. Петр Олегович
Julkaistu: (Москва, Наука, 1988)

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

Стохастическое функциональное преобразование: Модели,приложения
Tekijä: Виксна А. Ж. Андрис Жанович
Julkaistu: (Рига, Зинатне, 1984)

Графическое представление эмиссионных атомных спектров на основе информационной системы "Электронная структура атомов"; Технологии Microsoft в теории и практике программирования
Tekijä: Ковалёв В. С.
Julkaistu: (2011)

Графическое представление процесса движения заряженной частицы в магнитном поле; Ресурсоэффективным технологиям - энергию и энтузиазм молодых
Tekijä: Крижановский В. В.
Julkaistu: (2012)

Концепт трехколесного грузового велосипеда-фургона; Современные проблемы машиностроения
Tekijä: Кабакаев Е. А.
Julkaistu: (2020)

Низкочастотные усилители на негатронах; Энергетика: экология, надежность, безопасность; Т. 1
Tekijä: Шустов М. А. Михаил Анатольевич
Julkaistu: (2003)

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

Большеэкранные средства отображения данных SCADA-систем; Промышленные АСУ и контроллеры; № 9
Tekijä: Бруевич Ю. В.
Julkaistu: (2003)

Функциональное и логическое программирование: учебное пособие
Tekijä: Ездаков А. Л. Андрей Леонидович
Julkaistu: (Москва, БИНОМ. Лаборатория знаний, 2009)

Probing transversity by measuring Λ polarisation in SIDIS; Physics Letters B; Vol. 824
Julkaistu: (2022)

Графическое представление влияния силы сварочного тока на распределение твёрдости в многослойном сварном соединении стали 30ХГСА; Прогрессивные технологии и экономика в машиностроении; Т. 1
Tekijä: Чинахов Д. А. Дмитрий Анатольевич
Julkaistu: (2004)

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

Сафра. Функциональное накопление HERA-Ө. Программа решения уравнений одномерной магнитной гидродинамики в осесимметричном случае: инструкция
Julkaistu: (Москва, [Б. и.], 1983)

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

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

Графическое представление пространств ранжирований и инранжирований с учетом свойств слабых порядков комплексированных данных; Молодежь и современные информационные технологии
Tekijä: Емельянова Е. Ю. Екатерина Юрьевна
Julkaistu: (2018)