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