Жемчужины проектирования алгоритмов: функциональный подход
|
Жемчужины проектирования алгоритмов: функциональный подход
|
Разработка и тестирование программного обеспечения
|
Автор: Берд Ричард
Издательство: ДМК Пресс, 2013
|
PDF, 330 страниц, 9.90 МБ
|
 В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.
|
|
|
|
|
1198
 admin
16 мая 2016
|
|
Посетители, находящиеся в группе Гости, имеют ряд ограничений на скачивание книг. После регистрации будут доступны все ссылки для скачивания, а также скрыта реклама на сайте.
|
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|
|
|
|
Электронная библиотека книг
