11 декабря 2013 | Категория: Компьютерная литература | Просмотров: 795

Автор: Ричард Бёрд
Название: Жемчужины проектирования алгоритмов. Функциональный подход
Год выпуска: 2013
ISBN: 978-5-94074-867-0, 978-0-521-51338-8
Описание книги:
В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.
Рекомендуемая литература:
- Выбор языков программирования и средств проектирования для обучения специал ...
- Построение иерархических тематических моделей коллекции документов - С. В. ...
- Экстремальные комбинаторные задачи и их приложения - Баранов
- Математическое программирование - Кулян В. Р.
- Маршруты с локальными ограничениями: алгоритмы и программная реализация - Т ...
- Шахматы для всей семьи - Н. М. Калиниченко
- И. Р. Высоцкий - ЕГЭ 2014. Математика. Задача B4. Задачи на наилучший выбор ...
- C++ AMP. Построение массивно параллельных программ с помощью Microsoft Visu ...
- Д. Э. Шноль - ЕГЭ 2014. Математика. Задача B1. Арифметические задачи. Рабоч ...
- Менеджмент - Виханский Самуилович
Больше новинок можно на главной странице электронной библиотеки