Бесплатная библиотека - 1 338 003 изданий в библиотеке

Жемчужины проектирования алгоритмов. Функциональный подход

Книга Жемчужины проектирования алгоритмов. Функциональный подход

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

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12835 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Osprey Elite №26. Tank War-Central Front - NATO vs. Warsaw Pact

    Osprey Elite №26. Tank War-Central Front - NATO vs. Warsaw Pact

    Автор: S.J.ZalogaИздательство: OspreyISBN (eng): 0850459044Язык: EnglishКоличество страниц: 64Формат: PDF (scan)Размер файла: 10 MbСерия военных книг Elite от Ospreydepositfiles.com . . .

  • Книга Osprey Elite №27. Soldiers of the English Civil War (2) - Cavalry

    Osprey Elite №27. Soldiers of the English Civil War (2) - Cavalry

    Автор: R.TinceyИздательство: OspreyISBN (eng): 0850459400Язык: EnglishКоличество страниц: 64Формат: PDF (scan)Размер файла: 9 MbСерия военных книг Elite от Ospreydepositfiles.com . . .

  • Книга Osprey Elite №29. Vietnam Airborne

    Osprey Elite №29. Vietnam Airborne

    Автор: G.RottmanИздательство: OspreyISBN (eng): 0850459419Язык: EnglishКоличество страниц: 64Формат: PDF (scan)Размер файла: 33 MbСерия военных книг Elite от Ospreydepositfiles.com . . .

  • Книга Osprey Elite №30. Attila and the Nomad Hordes

    Osprey Elite №30. Attila and the Nomad Hordes

    Автор: D.Nicolle, A.McBrideИздательство: OspreyISBN (eng): 0850459966Количество страниц: 64Формат: PDF (scan)Размер файла: 39 MbСерия военных книг Elite от Ospreydepositfiles.com . . .

  • Книга Osprey Combat Aircraft 007 - B-52 Stratofortress

    Osprey Combat Aircraft 007 - B-52 Stratofortress

    Format: pdf Language: English Size: 12 386 KBifolder.ru . . .

  • Книга Osprey - Combat Aircraft. #011. B-24 Liberator Units of the Pacific War

    Osprey - Combat Aircraft. #011. B-24 Liberator Units of the Pacific War

    Издательство - Osprey Серия - Combat Aircraft 11 Название - B-24 Liberator Units of the Pacific War Язык: английский ISBN - 1-85532-781-3 Формат - pdf Размер 21,0 Mbifolder.ru . . .

  • Книга Тактика в боевых примерах. Полк.

    Тактика в боевых примерах. Полк.

    Название: Тактика в боевых примерах. Полк.Автор: Радзиевский А.И.Год выпуска: 1974Издательство: ВоениздатЯзык: РусскийФормат: DjVuКачество: ХорошееСтраниц: 286Размер: 3,8 MbОписание: В книге показывае . . .

  • Книга Заградительные операции Балтийского флота у германского побережья в 1914—1915 г

    Заградительные операции Балтийского флота у германского побережья в 1914—1915 г

    Название: Заградительные операции Балтийского флота у германского побережья в 1914—1915 гг.Автор: П. ГельмерсенСерия: ЦитадельГод выпуска: 1998Издательство: Галея ПринтЯзык: РусскийФормат: PDF (OCR)Ка . . .

  • Книга Тактика в боевых примерах. Рота.

    Тактика в боевых примерах. Рота.

    Название: Тактика в боевых примерах. Рота.Автор: Марченко Е.Т.Год выпуска: 1974Издательство: ВоениздатЯзык: РусскийФормат: DjVuКачество: ХорошееСтраниц: 184Размер: 1,9 MbОписание: На примерах боевых д . . .

  • Книга История корабля (3 набора открыток)

    История корабля (3 набора открыток)

    Название: История корабля (3 набора открыток)Автор: В. Дыгало, Н. Норбеков, М. Ф. АверьяновГод выпуска: 1986, 1989, 1991Издательство: Изобразительное искусствоЯзык: РусскийФормат: PDF (OCR)Качество: . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Жемчужины проектирования алгоритмов. Функциональный подход. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.