1. Новые покупки Показать еще

    25.06.2017: Использование естественного света (Дэмиен Лавгроув)

    25.06.2017: [fotoshkola.net] Репортаж. Основы (2013)

    25.06.2017: 40+ Видео-Уроков в Тренинге "МОЙ INSTAGRAM"

    25.06.2017: Заработок на музыке от 600$ в месяц! (Максим Маркушевский)

    25.06.2017: Неделя ООП (Дмитрий Елисеев)

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

    25.06.2017: Заработок на музыке от 600$ в месяц! (Максим Маркушевский)

    25.06.2017: Черновед-Чёрная поступь. Трактат по некромантии.

    25.06.2017: Черный цветникъ. Языческое колдовство. Тетради Вещих. Книга 2

    24.06.2017: Как всего за 2,5 месяца запустить Бизнес по перепродаже товаров из Китая с прибылью 300% - 500%?

    24.06.2017: Реальный АВИТО

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

    20.06.2017: Ключ Jackpot (Александр Клинг)

    20.06.2017: Тренировка для дома FAT BURN. Сжигание жира (Erasmo Scipione)

    20.06.2017: Молодость, красота и здоровье за 30 минут в день (Елена Пятибрат)

    20.06.2017: Стратегия 5 minute binary mechanical advantage

    20.06.2017: 6 не рисующих форекс индикаторов с открытым кодом + 2 модификации + 5 бонусных торговых стратегий

Открыто

Функциональное и логическое программирование (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). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.).

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

      Похожие складчины
      1. Сталин
        Куплено
        Сталин, 17 мар 2017, в разделе: Курсы по здоровью
      2. Менеджер
        Открыто
        Менеджер, 18 авг 2016, в разделе: Авторские складчины
      3. Менеджер
        Открыто
        Менеджер, 26 май 2016, в разделе: Курсы по программированию
      4. Менеджер
        Открыто
        Менеджер, 16 май 2016, в разделе: Курсы по здоровью
      5. Менеджер
        Открыто
        Менеджер, 8 май 2016, в разделе: Курсы по программированию
      6. Сталин
        Открыто
        Сталин, 20 май 2016, в разделе: Курсы по здоровью
      7. Менеджер
        Открыто
        Менеджер, 4 авг 2015, в разделе: Курсы по программированию

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