ЮрИнфоР
Логотип ЮрИнфоР
предлагает

Rambler's Top100
Rambler's Top100

"ЮрИнфоР®" >>> Библиотека ЮрИнфоР® >>>

Парадигма функционального программирования

Новинка
Обложка. Крупно.
ISBN 978-5-89158-178-4
2012. 96 c.
ББК 32.973.26-018
УДК 004.42
Мягкий переплет.
 
Цена 1
165.00
Цена 2
397.00
Цены действительны до
31.05.2015
Цена 1 с учетом НДС
Цена 2 с учетом почтовых расходов по РФ и НДС.


Аннотация


Как приобрести


См. также


Содержание

Вольфенгаген В.Э.
Под ред. к.т.н. Л.Ю.Исмаиловой.

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

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

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

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


См. также

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

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


Содержание

Развитие функционального программирования (В.Э. Вольфенгаген)

  • Введение
  • Особенности функционального программирования
  • Полезные математические свойства функционального программирования
  • Фазы нарастания развития функционального программирования
  • Период бурного развития функционального программирования
  • Параллелизм в функциональном программировании
  • Отношение к функциональному программированию
  • Компилирование функциональных языков
  • Язык Haskell
  • Развитие параллелизма в функциональном программировании с 1990 г.
  • Семь вопросов К. Стрейчи
  • Параллелизм или одновременность
  • Перспективы функционального программирования для организации символьных вычислений в GRID
  • Заключение
  • Список литературы

Парадигмы аппликативного программирования: от логики через редукцию к программированию (Л.Ю. Исмаилова, С.В. Косиков)

  • Функциональные модели бизнес-логики
  • Битва моделей
  • Основания аппликативного подхода
  • Аппликативные вычислительные системы
  • Аппликативный взгляд на инновационные технологии
  • Заключение
  • Список литературы
Система Orphus
Рекомендовать

Ru | En | Ch

<-- -->
Обложки книг
Книгоиздание
Новинки
Подписные книги
Рецензии
Предложения
Наши координаты
Книготорговля
Книги по годам
Скидки
Цены (.html)
Где и как купить
Подписка на новости
Хит продаж
Вольфенгаген В.Э. Комбинаторная логика в программирова- нии: Вычисления с объектами в примерах и задачах.
Новинка
Аппликативные вычислительны- е системы: Труды 2-й международной- конференции по аппликативны- м вычислительным системам (АВС'2010), Москва, 29-31 октября 2010 г. / Под ред. Л.Ю.Исмаиловой
Новинка
Вольфенгаген В.Э. Аппликативные вычислитель- ные технологии. Готовые решения для инженера, преподавателя, аспиранта, студента. / Под ред. Л.Ю.Исмаиловой


Курсы : : Семинары по праву : : Книги : : Программы : : Юридическое сопровождение : : ИТ-услуги : : Конференции :

Выделите орфографическую ошибку мышью и нажмите Ctrl+Enter

Copyright (C) Институт "ЮрИнфоР-МГУ", 1994-2017