1. Новые складчины: Показать еще

    25.04.2018: [Производство] Бизнес круглый год на собственном мини-производстве

    25.04.2018: [Knower School] Онлайн-курс "3D моделирование для начинающих" (Дмитрий Смирнов)

    25.04.2018: Медведевский Фото-Клуб Рай - Апрель 2018 (Александр Медведев)

    25.04.2018: [Бизнес Молодость] Все курсы 2018 года Бизнес молодость институт(Михаил Дашкиев)

    25.04.2018: SMM2018. Как выжимать максимум из социальных сетей в 2018 (Дамир Халилов)

  2. Нужен организатор: Показать еще

    25.04.2018: [Шитье] Базовая основа на конкретную фигуру (Наталья Тельных)

    25.04.2018: Третий ежегодный Форум Бизнес на Amazon

    25.04.2018: Королевп ПП. «Особенные десерты» (Майя Климина)

    25.04.2018: [Тедди] Тедди натюр видео МК

    25.04.2018: Русское наследие

  3. Сбор взносов Показать еще

    25.04.2018: Сила контакта с собой (Юлия Столярова)

    25.04.2018: [БМ] Самонаблюдение: Дневник Петра Осипова. От великого хаоса к квантовому росту (Петр Осипов)

    25.04.2018: Онлайн квест-марафон «Энергия: Перезагрузка» (Арканум)

    25.04.2018: [Школа Кайлас] Сангая 6 (Андрей Дуйко)

    25.04.2018: Профессиональный e-mail маркетинг 2018 (Виталий Шелест)

Запись

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

Тема в разделе "Книги", создана пользователем Telegram, 8 июн 2013.

Цена:
871 руб
Взнос:
40 руб
Организатор:
Требуется
Участников:
0/100

Список пока что пуст. Запишитесь первым!

Записаться
    Тип: Стандартная складчина
  1. Telegram
    Telegram Организатор складчин

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

    [​IMG]

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

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

    Для студентов учреждений высшего профессионального образования.
     
    Telegram, 8 июн 2013
Участники складчины Функциональное и логическое программирование (320 стр.)... смогут написать отзыв
Наверх