Личный кабинет
Подробное описание документа
Сергиевский Г. М.
Функциональное и логическое программирование : учеб. пособие для вузов / Сергиевский Г. М., Влоченков Н. Г. - М. : Академия, 2010. - 317 с. : ил. - (Высшее профессиональное образование. Информатика и вычислительная техника). - Библиогр.:
Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell - лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики.
Представлена наиболее "продвинутая" практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Сопstгаiпt Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.).
Для студентов учреждений высшего профессионального образования.
004.42 Программирование ЭВМ. Компьютерные программы1 экз.
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.305л, УЛК, ауд. 305л
