+38 044 223 9060, 095 820 7848, 098 702 5697, order@bookshop.ua Пн-Пт: 10-18.
Книги / Учебная литература / Студентам и аспирантам / Технические науки. Медицина. Сельское хозяйство / Информатика. Вычислительная техника

Разработка программного обеспечения

Лидер продаж
Функциональное и логическое программирование. Г. М. Сергиевский, Н. Г. Волченков

ID: 4878441

Н. Г. Волченков, Г. М. Сергиевский

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

Специальная цена:

1126.00 грн.
37.53 USD

Купить

На складе

Издательство: Академия
c. 320
2010 г.
ISBN: 978-5-7695-6433-8
Формат: 60x90/16



Все издания этой книги
 

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

Вы посмотрели следующие позиции: 
Время генерации страницы : 0