Google 
Аннотация: Жемчужины проектирования алгоритмов. Функциональный подход. С примерами на языке Haskell
В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк.
Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования.
Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.
| Автор/составитель | Бёрд Ричард |
| Год выпуска | 2015 |
| ISBN | 978-5-94074-867-0, 978-5-97060-161-7 |
| Производитель | ДМК-Пресс |
| Издательство | ДМК-Пресс |
| Количество томов | 1 |
| Количество страниц | 330 |
| Переплет | Мягкая обложка |
| Размеры | 210x140x17 мм |
| Цвет | Синий |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 60x88/16 (140x205 мм) |
| Тираж | 200 |
| Стандарт | 16 |
| Вес | 386 |
| Язык | русский |
