Функциональное и логическое программирование

Код: 323985

Краткое описание

Язык: 
Вес: 396 г
ISBN: 
9785769564338

Издательство: Academia
Автор: Г. М. Сергиевский, Н. Г. Волче
Серия: Высшее профессиональное образо
Страниц: 320
Переплет: 60x90/16
Год издания: 2010
Язык: Русский
Вес: 396
ISBN: 978-5-7695-6433-8

1 229 руб.
Под заказ

Информация о доставке

  • Доставим товар по всей России
  • Более 20 способов доставки
  • По МСК и СПб более 100 ПВЗ
Подробная информация 

Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell - лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее продвинутая практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования....

По серии

Подборка книг по серии

Рекомендуемые книги

Подборка рекомендуемых книг для Вас.

Языки программирования и сценариев: общий раздел