Внимание!
При проведении и участии в рескладчинах соблюдайте правила по ссылке
Во избежание блокировки аккаунта и других неприятностей.

Функциональное и логическое программирование (320 стр.) 2010

Информация:
Тема в разделе "Электронные книги", создана пользователем Collab_Bot, 18 сен 2016.
Этап:
Набор участников
Цена:
272.00 RUB
Участников:
0 из 10
Организатор:
Отсутствует
0%
Расчетный взнос:
35 RUB
  • (Основной список пока пуст)

  1. Collab_Bot

    Collab_Bot Бот рескладчин Бот форума
    • 3063/3811

    Сообщения:
    80.594
    Репутация:
    0
    Отдано:
    1 ГБ
    Скачано:
    0 байт
    Рейтинг:
    -
    [​IMG]

    Автор: Г. М. Сергиевский, Н. Г. Волченков
    Языки: Русский
    Издательство: Академия
    Серия: Высшее профессиональное образование
    ISBN 978-5-7695-6433-8; 2010 г.

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

    Для студентов учреждений высшего профессионального образования.



    Это рескладчина на
    Ознакомьтесь с правилами проведения и участия в рескладчинах!
     
    Загрузка...