ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Компьютерные науки и информационные технологии >>>

Парадигма функционального программирования (электронная книга на CD)

ISBN 978-5-89158-182-5 2012. ББК 32.973.26-018 УДК 004.42 Цена 1 220 Цена 2 480 Цены действительны до 23.03.2023 Цена 1 с учетом НДС Цена 2 с учетом почтовых расходов по РФ и НДС. ПОЛОЖИТЬ В КОРЗИНУ × Выберите способ доставки: самовывоз по почте Адрес самовывоза: г. Москва, ул. Малая Пироговская, дом 5, офис 33. При оформлении заказа необходимо будет указать почтовый адрес для отправки посылки с заказом. Отмена Положить в корзину

Аннотация Как приобрести См. также ПОЛОЖИТЬ В КОРЗИНУ × Выберите способ доставки: самовывоз по почте Адрес самовывоза: г. Москва, ул. Малая Пироговская, дом 5, офис 33. При оформлении заказа необходимо будет указать почтовый адрес для отправки посылки с заказом. Отмена Положить в корзину

.

В работе отражены основные направления развития функционального программирования как на уровне идей, так и на уровне технологий. Материал апробирован на практике в НИЯУ МИФИ, МФТИ, а также в ряде образовательных центров Российской Федерации.

В первой части (автор: В.Э. Вольфенгаген) представлен обзор тенденций использования в программировании чистых функций, который годится как для продвинутых, так и для начинающих изучение компьютинга и информационных технологий. Функциональное программирование является развивающимся магистральным направлением, имеющим тенденцию роста в области программной инженерии. Как оказалось, корректность программы гораздо легче доказывать в том случае, когда она написана на функциональном языке. Преобразования функциональных программ значительно упрощаются из-за алгебраического происхождения функций. Применение таких преобразований открывает возможности для разработки инновационных механизмов оптимизации кода.

Во второй части (авторы: Л.Ю. Исмаилова, С.В. Косиков) рассматривается фундаментальный для реализация самого подхода функционального программирования путь от логики к программированию: моделирование предметных областей; вычислительные модели; среды вычислений; концептуальное моделирование; категории и таксономии; аппликативные вычислительные системы; комбинаторно-полные системы; выход на инновационные решения и оснащающие их информационные технологии.

Материал предназначен в помощь преподавателям, аспирантам и старшекурсникам ИТ-специальностей.

См. также

Wolfengagen V.E. Combinatory logic in programming. Computations with objects through examples and exercises.

Дополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)