Ѕиблиотека ёр»нфо–® >>>

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


ќбложка.  рупно.
ISBN 978-5-89158-182-5
2012.
ЅЅ  32.973.26-018
”ƒ  004.42

÷ена 1
220.00
÷ена 2
480.00
 ”ѕ»“№ ќЌЋј…Ќ
÷ены действительны до
31.03.2021
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.


јннотаци€


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


—м. также


 ”ѕ»“№ ќЌЋј…Ќ

¬ольфенгаген ¬.Ё., »смаилова Ћ.ё.,  осиков —.¬.

.

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

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

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

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


—м. также

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

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