Издательство ДМК Пресс
Официальный сайт издательства ДМК Пресс

Интернет-магазинdmkpress.help@gmail.com
+7 (499) 322-19-38

Издание книг dmkpress@gmail.com Пишите на email

Оптовая продажа books@alians-kniga.ru+7 (499) 782-38-89

Моя корзина
В корзине нет ни одного товара

Жемчужины проектирования алгоритмов

Жемчужины проектирования алгоритмов
Автор: Бёрд Р.
Дата выхода: ноябрь 2012 года
Формат: 148 * 210 мм
Бумага: офсетная
Обложка: Мягкая обложка
Объем, стр.: 330
ISBN: 978-5-97060-161-7
Вес, гр.: 400

Оглавление и отрывки из глав

Купить электронную книгу

599 руб

Аннотация

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

Для добавление комментария необходимо Войти или Зарегистрироваться.

События

15 января 2019 года

Издательство ДМК Пресс - информационный партнёр конференции "CleverDAY".

7 февраля в Москве пройдёт конференция CleverDAY, ключевые темы которой: машинное обучение, отчетность по процессам, автоматизация процессов и др. темы.

27 декабря 2018 года

График работы издательства ДМК Пресс (пункт выдачи заказов) на январские каникулы 2019 г.

 
29 декабря пункт выдачи заказов будет работать до 17.00.

05 декабря 2018 года

Бесплатный вебинар: «ITIL 4 всё ближе»

 Наши партнёры компания Cleverics совместно с компанией AXELOS проведут 6 декабря 2018 в 11:00 (MSK) бесплатный совместный вебинар: «ITIL 4 всё ближе».

 

Архив новостей

Хотите получать информацию о новинках нашего издательства? Оставьте свой Email в форме ниже

Нажимая на кнопку «Подписаться», я даю согласие на обработку персональных данных