Санкт-Петербург
Ваш город - Санкт-Петербург?
Да
Выбрать другой город
От выбранного города зависят цены, наличие товара и способы доставки
Каталог
В избранное
Поделиться
Код: 00-00209239
Автор:
1 161 q
В корзину
В корзине
Остался 1 экземпляр
Способы получения
Мягкая обложка

Характеристики

ISBN
978-5-97060-161-7
Год издания
2018
Тип переплета
Обложка (переплет)
Количество страниц
330
Переводчики
В. Сухорукова, А.П. Нехай
Переиздание
Нет
Вес нетто
387
Размеры изделия (ШxВ)
115x150

Описание

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

Авторы

Издательство

ДМК Пресс

Мы расскажем Вам про скидки и новинки!
Просто подпишитесь на наши рассылки

Ваш email