Жемчужины проектирования алгоритмов: функциональный подход
Информатика Бакалавриат Магистратура СПО (среднее профессиональное образование)
Характеристики
2013 год • 330 страниц • 2.1 MB
Издательство Издательство "ДМК Пресс"
ISBN 978-5-94074-867-0
Описание
В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается кон- кретная программистская задача. Эти задачи, некоторые из них абсолютноновые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк.
