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

Сергиевский Г. М.

под заказ

Цена в интернет-магазине: 1109,00 руб.

ISBN: 978-5-7695-6433-8
Внешнее покрытие издания: в пер.
Тираж издания: 1500
Фамилия автора в заголовке: Сергиевский
Инициалы автора (личного имени (имен)): Г. М.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Функциональное и логическое программирование
Сведения, относящиеся к заглавию: Учебное пособие
Первые сведения об ответственности: Г. М. Сергиевский, Н. Г. Волченков
Место издания: М
Издатель: Академия
Дата издания: 2010
Объем издания (количество страниц): 320
Другие уточнения физических характеристик: рис., табл.
Высота, см.: 22
Определитель УДК: (075.8)
Полная форма имени (имен) и отчества: Георгий Максимович
Заглавие серии: Высшее профессиональное образование. Информатика и вычислительная техника
Индекс УДК: 681
Статус записи (Тип информации): В наличии
Ширина, см: 14,5
Толщина, см: 1,5
Вес в граммах: 390
Гриф: Доп. УМО вузов по универ. политех. образ-ю
Индекс ББК: 32.973-018.2я73
Артикул: 2129504

Описание

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