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

Функциональное и логическое программирование
Издание: 1-е изд.
Год выпуска: 2010
Купить издание: Нет в продаже
830,00
Купить доступ к онлайн чтению:
Купить издание: Нет в продаже
830,00
Купить доступ к онлайн чтению:
Уровень образования: Высшее профессиональное образование
Гриф: Допущено УМО по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению "Информатика и вычислительная техника"
Издание: 1-е изд.
Артикул издания: 101113473
Вид издания: Печатные учебные издания
ISBN издания: 978-5-7695-6433-8
Год выпуска: 2010
Объем: 320
Переплет: Пер. № 7 бц.
Формат: 60х90/16
Индекс УДК: 681.3.06(075.8)
Индекс ББК: 32.973-018.2я73

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

Представлена наиболее ?продвинутая? практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Logic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.).

Для студентов учреждений высшего профессионального образования.



Назад в раздел