Главные разделы

Другие разделы

Общий прайс-лист

Цена
1 030 руб
6 180 тенге

Товар в корзине

Функциональное и логическое программирование (1-е изд.) учеб. пособие

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

Год издания: 2010

Число страниц: 320 стр.

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

canada goose hamburg moncler jacke damen belstaff outlet peuterey herren woolrich jacke damen canada goose sale parajumpers outlet canada goose damen woolrich parka herren parajumpers sale duvetica jacke duvetica damen duvetica mantel moncler outlet peuterey sale