В этой книге Ричард Бёрд представляет принципиально но-вый подход к проектированию алгоритмов, а именно проектиро-вание посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужина-ми, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, проис-ходят из таких разнообразных источников, как игры и голово-ломки, захватывающие комбинаторные построения и более тра-диционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, фор-мулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, по-зволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обра-щения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить на-выки рассуждений в эквациональном стиле применительно к программам и алгоритмам.
Дополнительная информация
Автор
|
Бёрд Ричард
|
Переплет
|
обл
|
Формат
|
60х90/16
|
Стр.
|
330
|
Издательство
|
ДМК-Пресс
|
ISBN
|
978-5-97060-161-7
|
Год
|
2015
|
ID
|
201БЛ
|