Скрыть объявление
Более 45000 материалов для скачивания в нашем приватном разделе. Не пропусти, возможно данную складчину уже выкупили и выложили для ознакомления.
Скрыть объявление
Гость отличная новость! Мы открыли доступ к ранее скрытому контенту.

Вам доступно более 44 000 видео уроков, книг и программ без VIP статуса. Более подробно ЗДЕСЬ.

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

Тема в разделе "Книги, аудиокниги", создана пользователем Volchek, 2 июн 2014.

0/5, Голосов: 0

Этап:
Набор участников
Цена:
871.00 руб.
Участников:
4 из 10
Организатор:
требуется
40%
Расчетный взнос:
96 руб.
  • Участники покупки:
    1. Train, 2. bronis, 3. felina, 4. liska;
  1. Volchek

    Volchek Модератор

    Сообщения:
    14.910
    Симпатии:
    11.413
    [​IMG]

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

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

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

     
Оценить эту тему:
/5,
Поделиться: