Год выпуска: 2015 Автор: Ричард Бёрд Издательство: ДМК Пресс Страниц: 330 ISBN: 978-5-97060-161-7 , 978-0-521-51338-8
Описание
В книге Ричард Бёрд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача. Эти задачи, некоторые из которых абсолютно новые, происходят из таких разнообразных источников, как игры и головоломки, захватывающие комбинаторные построения и более традиционные алгоритмы сжатия данных и сопоставления строк. Каждая жемчужина начинается с постановки задачи, формулируемой на функциональном языке программирования Haskell, чрезвычайно мощном и в то же время лаконичном, позволяющем легко и просто выражать алгоритмические идеи. Новшество книги состоит в том, что каждое решение формально вычисляется из исходной постановки задачи посредством обращения к законам функционального программирования. Издание предназначено для программистов, увлекающихся функциональным...
Люба (Статья: Готовые формулы для решения задач по статистике)
Ирина! ОГРОМНОЕ ВАМ СПАСИБО!!! Это бесценная информация!!! Без этого сайта, мне бы контрольной не решить. Так держать! С уважением и наилучшими пожеланиями, Л.Сытоленко