Ѕиблиотека ёр»нфо–® >>>  омпьютерные науки и информационные технологии >>>

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


ќбложка.  рупно.
ISBN 978-5-89158-178-4
2012. 96 c.
ЅЅ  32.973.26-018
”ƒ  004.42
ћ€гкий переплет.

÷ена 1
165.00
÷ена 2
397.00
Ќ≈“ ¬ ѕ–ќƒј∆≈
÷ены действительны до
30.10.2022
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.


јннотаци€


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


—м. также


—одержание

¬ольфенгаген ¬.Ё.
ѕод ред. к.т.н. Ћ.ё.»смаиловой.

.

¬ работе отражены основные направлени€ развити€ функционального программировани€ как на уровне идей, так и на уровне технологий. ћатериал апробирован на практике в Ќ»я” ћ»‘», ћ‘“», а также в р€де образовательных центров –оссийской ‘едерации.

¬ первой части (автор: ¬.Ё. ¬ольфенгаген) представлен обзор тенденций использовани€ в программировании чистых функций, который годитс€ как дл€ продвинутых, так и дл€ начинающих изучение компьютинга и информационных технологий. ‘ункциональное программирование €вл€етс€ развивающимс€ магистральным направлением, имеющим тенденцию роста в области программной инженерии.  ак оказалось, корректность программы гораздо легче доказывать в том случае, когда она написана на функциональном €зыке. ѕреобразовани€ функциональных программ значительно упрощаютс€ из-за алгебраического происхождени€ функций. ѕрименение таких преобразований открывает возможности дл€ разработки инновационных механизмов оптимизации кода.

¬о второй части (авторы: Ћ.ё. »смаилова, —.¬.  осиков) рассматриваетс€ фундаментальный дл€ реализаци€ самого подхода функционального программировани€ путь от логики к программированию: моделирование предметных областей; вычислительные модели; среды вычислений; концептуальное моделирование; категории и таксономии; аппликативные вычислительные системы; комбинаторно-полные системы; выход на инновационные решени€ и оснащающие их информационные технологии.

ћатериал предназначен в помощь преподавател€м, аспирантам и старшекурсникам »“-специальностей.


—м. также

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

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


—одержание

–азвитие функционального программировани€ (¬.Ё. ¬ольфенгаген)

  • ¬ведение
  • ќсобенности функционального программировани€
  • ѕолезные математические свойства функционального программировани€
  • ‘азы нарастани€ развити€ функционального программировани€
  • ѕериод бурного развити€ функционального программировани€
  • ѕараллелизм в функциональном программировании
  • ќтношение к функциональному программированию
  •  омпилирование функциональных €зыков
  • язык Haskell
  • –азвитие параллелизма в функциональном программировании с 1990 г.
  • —емь вопросов  . —трейчи
  • ѕараллелизм или одновременность
  • ѕерспективы функционального программировани€ дл€ организации символьных вычислений в GRID
  • «аключение
  • —писок литературы

ѕарадигмы аппликативного программировани€: от логики через редукцию к программированию (Ћ.ё. »смаилова, —.¬.  осиков)

  • ‘ункциональные модели бизнес-логики
  • Ѕитва моделей
  • ќсновани€ аппликативного подхода
  • јппликативные вычислительные системы
  • јппликативный взгл€д на инновационные технологии
  • «аключение
  • —писок литературы