Функциональное и логическое программирование (2010)КНИГИ » ПРОГРАММИНГ
Название: Функциональное и логическое программирование Автор: Георгий Сергиевский, Николай Волченков Издательство: М.: Академия Год: 2010 Cтраниц: 320 Формат: pdf Размер: 22 мб Язык: Русский
Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell - лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее "продвинутая" практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.).
Введение в логическое программирование Название: Введение в логическое программирование Автор: Хоггер К.Дж. Издательство: Мир Год: 1988 ISBN: 5-03-000490-4 Формат: pdf Страниц: 350 Размер:...
Функциональное программирование на языке Haskell Автор: Душкин Р.В. Название: Функциональное программирование на языке Haskell Издательство: М.: ДМК Пресс Год: 2007 ISBN: ISBN 5-94074-335-8 Язык:...
Функциональное программирование Название: Функциональное программирование Автор: Филд А., Харрисон П. Издательство: Мир Год: 1993 Cтраниц: 640 Формат: djvu Размер: 13 мб Язык:...