Книги > Образование > Гуманитарные науки > Функциональное и логическое программирование

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

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

Оставить отзыв
Издательство Академия
Год выпуска 2010
Срок комплектации до 5 рабочих дней
ISBN 978-5-7695-6433-8
Язык Русский

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

Наш интернет-магазин доставит Вам книги любым из следующих способов:
  • курьерской доставкой по г. Киеву (в пределах Окружной дороги) - 55 грн
  • Новой Почтой (склад-склад), в том числе и наложенным платежом - от 45 грн
  • Адресной доставкой Новой Почтой (склад-двери), в том числе и наложенным платежом - от 80 грн
  • Укрпочтой - за пределы Украины.
Сроки доставки Вашего заказа зависят от способа доставки и оплаты!

Покупку можно оплатить наличными при доставке Вашего заказа курьерскими службами. К каждому заказу прилагается товарный чек. Как только Ваш заказ будет оформлен, наш менеджер свяжется с Вами по телефону для подтверждения заказа и отправки Вам счета по факсу или же по e-mail.

Оформленный заказ можно оплатить on-line, без подтверждения оператором.

Согласно Закону Украины о защите прав потребителей и дополнения к нему книги надлежащего качества не подлежат возврату и обмену.

Если полученный товар вас не устраивает по каким-либо причинам, свяжитесь с оператором колл-центра и мы обязательно решим вашу проблему!

Нет в наличии