Жемчужины проектирования алгоритмов. Функциональный подход. С примерами на языке Haskell
В этой книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из которых абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.
Товар имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. Прилагается гарантийное обязательство. Предлагается дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет отображена более развернутая информация о стоимости доставки в ваш регион и о вашей личной скидке.
Позвольте Вам предложить
-
Функциональное программирование на языке Haskell
Данная книга является первым в России изданием, рассматривающим функциональное программирование в полном объеме, достаточном для понимания новичку и для использования книги…
-
Японский язык для всех. Функциональный подход к ежедневному общению
Этот учебник является новым уникальным курсом, предназначенным как для преподавания в учебных группах, так и для самостоятельного изучения японского языка. Курс…
-
Финно-угорские языки. Фрагменты грамматического описания. Формальный и функциональный подходы
В книге рассматриваются вопросы фонетики, синтаксиса и грамматической семантики финно-угорских языков - лугового марийского, коми-зырянского, удмуртского и эрзя-мордовского языков. Исследования основываются…
-
Проектирование информационных систем. Методы и средства структурно-функционального проектирования
Практикум содержит теоретические положения и практические указания по проектированию информационных систем с использованием технологии автоматизированного проектирования. Основное внимание уделено методическим основам…
-
Справочник по языку Haskell
Данная книга является первой книгой на русском языке, описывающей набор стандартных библиотек функционального языка программирования Haskell. В первой части книги кратко…
-
Психология вербального воображения. Функционально-системный подход
Монография посвящена теоретико-методологическому исследованию феномена воображения как проблемы современной психологической науки. Научная новизна исследования заключается в разработке методологического подхода, сочетающего функционально-системный…
-
Психология вербального воображения. Функционально-системный подход
Монография посвящена теоретико-методологическому исследованию феномена воображения как проблемы современной психологической науки. Научная новизна исследования заключается в разработке методологического подхода, сочетающего функционально-системный…
-
Оценка качества перевода. Коммуникативно-функциональный подход. Монография
В монографии рассматривается проблема оценки качества перевода с точки зрения коммуникативно-функционального подхода, противопоставляемого традиционному текстоцентрическому подходу. Коммуникативно-функциональных подход предполагает изучение закономерностей…
-
Последовательные и параллельные алгоритмы. Общий подход
Изложение основывается на объединении в одном курсе вопросов, имеющих отношение к последовательным и параллельным моделям, с большим акцентом на параллельных вычислениях.…