Жемчужины проектирования алгоритмов. Функциональный подход

[b]Год выпуска[/b]: 2013 [b]Автор[/b]: Ричард Бёрд [b]Перевод[/b]: В. Брагилевский, А. Пеленицын [b]Редактор[/b]: Д. Мовчан [b]Наличие иллюстраций[/b]: ч/б иллюстрации [b]Жанр[/b]: Учебник [b]Издательство[/b]: ДМК Пресс [b]Серия/Цикл[/b]: Функциональное программирование [b]Номер в серии/цикле[/b]: 1 [b]ISBN[/b]: 978-5-94074-867-0, 978-0-521-51338-8 [b]Формат[/b]: PDF [b]Качество[/b]: Сканированные страницы [b]Количество страниц[/b]: 330 [b]Сканировал[/b]: я [b]Описание[/b]: В этой книге автор представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из которых абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам. [b]Доп. информация[/b]: Автор, пользуясь формальными рассуждениями, находит эффективные с алгоритмической точки зрения решения различных задач, выражая их на языке Haskell. Книгу можно порекомендовать всем, кто интересуется функциональным программированием, хотя она вряд ли будет доступна начинающим. Требуется некоторая зрелость в восприятии математических формализмов.