Книга Жемчужины проектирования алгоритмов. Функциональный подход представляет собой новый подход к проектированию алгоритмов, основанный на формальном выводе. Автор книги, Ричард Берд, представляет 30 коротких глав, которые называются жемчужинами, каждая из которых решает конкретную программистскую задачу. Задачи в книге варьируются от игр и головоломок до более традиционных алгоритмов сжатия данных и сопоставления строк.
Каждая глава начинается с постановки задачи на функциональном языке программирования Haskell, который позволяет выражать алгоритмические идеи легко и просто. Новшество книги заключается в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования.
Книга предназначена для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов. В ней можно найти множество задач, которые помогут развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.
Жемчужины проектирования алгоритмов. Функциональный подход - книга Ричарда Берда, в которой он представляет новый подход к проектированию алгоритмов. Она состоит из 30 глав, каждая из которых решает конкретную программистскую задачу. В книге представлены задачи различной сложности, которые происходят из разных источников, таких как игры и головоломки, комбинаторные построения и традиционные алгоритмы сжатия данных и сопоставления строк.
Каждая глава начинается с формулировки задачи на функциональном языке программирования Haskell. Автор использует этот язык, потому что он мощный и лаконичный, а также позволяет выражать алгоритмические идеи легко и просто. Новшество книги заключается в том, что каждое решение формально вычисляется из исходной постановки задачи с помощью законов функционального программирования.
Книга предназначена для программистов, интересующихся функциональным программированием, а также студентов, аспирантов и преподавателей, которые хотят улучшить свои навыки в проектировании алгоритмов. В Жемчужинах проектирования алгоритмов можно найти множество задач, которые помогут развить навыки рассуждений в эквациональном стиле, применительно к программам и алгоритмам.
Эта книга от Ричарда Берда предоставляет новый и интересный путь к изучению проектирования алгоритмов: через формальные рассуждения в духе доказательств. Краткое содержание изложено на 30 отдельных глав, названных "жемчужинами". Каждая из них предлагает интересное алгоритмическое задание на популярном языке программирования Хаскель. Главная цель заключается в формальном выводе решения из каждого задания на основе законов функционального программиствования.
Электронная Книга «Жемчужины проектирования алгоритмов. Функциональный подход» написана автором Ричард Бёрд в 2013 году.
Минимальный возраст читателя: 0
Язык: Русский
ISBN: 978-5-94074-867-0
Описание книги от Ричард Бёрд
В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из них абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным программированием, студентов, аспирантов и преподавателей, интересующихся принципами проектирования алгоритмов, а также всех, кто желает приобрести и развить навыки рассуждений в эквациональном стиле применительно к программам и алгоритмам.