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

    18.12.2017: Стратегия для торговли на бинарных опционах Binaree two trend (Александр Новиков)

    18.12.2017: Все книги Виктора Пелевина

    18.12.2017: Почтовый Штурм (Сергей Родной)

    18.12.2017: "Пенсионер-миллионер" Как пенсионеру зарабатывать 50 000 рублей в месяц (Ольга Аринина)

    18.12.2017: Celebratum - Christmas Photoshop Action - новогодние экшены (graphicriver.net)

  2. Гость, если у Вас на каком либо сайте есть аккаунт с повышенным статусом, то и у нас вы можете получить соответствующий статус. Подробнее читайте здесь https://www.skladchik.biz/threads/83942/
    Скрыть объявление
  3. Нужен организатор Показать еще

    17.12.2017: Мастер класс Annie Leibovitz (Энни Лейбовиц)

    17.12.2017: Мастер - класс "Пёсик - Барбосик" (Екатерина Суворова)

    11.12.2017: Обережная и гармонизирующая магия дома и его пространств (Лана Палагнюк-Симаненко)

    10.12.2017: Алмазная спина [GIPERBAREA, Игорь Fresh Ковалёв]

    08.12.2017: Цикл "Стилистика как бизнес" (Анна Шарлай)

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

    18.12.2017: Почтовый Штурм (Сергей Родной)

    18.12.2017: "Пенсионер-миллионер" Как пенсионеру зарабатывать 50 000 рублей в месяц (Ольга Аринина)

    15.12.2017: Ущемление седалищного нерва (Александра Бонина)

    15.12.2017: Постсоблазнение (Александр Галевич)

    12.12.2017: Перерождение Рода. Исцеление судьбы (день 2) (2017) (Елена Мирная)

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

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

Цена:
871р.
Взнос:
40р.

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

    Тип: Стандартная складчина
    Участников: 0/100
  1. 8 июн 2013
    #1
    Менеджер
    Менеджер Организатор Организатор

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

    [​IMG]

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

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

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

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