Купили 22 человека
Аннотация
Серия | Функциональное программирование |
---|---|
Издательство | |
Страниц | 330 |
Год, тираж | 2015 |
Последний экземпляр
Описание и характеристики
В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. .Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. .Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам. . . . . . .
Код | 2338745 |
---|---|
Издательство | |
Серия | Функциональное программирование |
Автор |
|
Кол-во страниц | 330 |
Год издания | 2015 |
ISBN | 978-5-94074-867-0 |
Раздел | Программирование |
Размеры | 14 см × 20.5 см |
Вес | 0.32 кг |