Функциональное и логическое программирование, Н. Г. Волченков, Г. М. Сергиевский

Функциональное и логическое программирование, Н. Г. Волченков, Г. М. Сергиевский - рейтинг книги по отзывам читателей, краткое содержание

Автор:

Н. Г. Волченков, Г. М. Сергиевский

Категория:

Разработка программного обеспечения

Жанр:

Компьютеры и интернет

О книге

  • 2010 Год первого издания книги

Краткое содержание

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

Купить книгу в книжных интернет-магазинах



Другие книги о компьютерах и интернете


Забавное видео

В 2 года родители подарили малышу баскетбольное кольцо и мяч, посмотрите, что умеет этот малыш сейчас!