Жемчужины проектирования алгоритмов: функциональный подход. С примерами на языке Haskell / пер. с англ. В. Н. Брагилевского, А. М. Пеленицына. — 2-е изд., эл.

В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования.
Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.

Бёрд Ричард. Жемчужины проектирования алгоритмов: функциональный подход. С примерами на языке Haskell / пер. с англ. В. Н. Брагилевского, А. М. Пеленицына. — 2-е изд., эл. - Москва : ДМК Пресс, 2023. - 331 с. - ISBN 978-5-89818-555-8. - URL: http://new.ibooks.ru/bookshelf/392253/reading (дата обращения: 17.07.2025). - Текст: электронный.