• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Логическое и реляционное программирование

2022/2023
Учебный год
RUS
Обучение ведется на русском языке
4
Кредиты
Статус:
Курс по выбору
Когда читается:
4-й курс, 3 модуль

Преподаватель


Булычев Дмитрий Юрьевич

Программа дисциплины

Аннотация

Является дисциплиной по выбору. Дисциплина направлена на обеспечение базовой подготовки студентов в области декларативного программирования, знакомство с основными понятиями и техникой логического и реляционного программирования. Для освоения дисциплины студентам необходимы знания, полученные в результате изучения дисциплин «Семантики языков программирования», «Компиляторы».
Цель освоения дисциплины

Цель освоения дисциплины

  • Формирование у студентов теоретических знаний и практических навыков по основам логического и реляционного программирования, основным алгоритмам поиска решений для декларативно специфицированных задач и реализации декларативных языков.
Планируемые результаты обучения

Планируемые результаты обучения

  • Знает основные понятия и подходы, лежащие в основе логического программирования (унификацию, метод резолюций, откат и отсечения, стратегии поиска, отрицание как опровержение и т.д.).
  • Умеет программировать на языках Prolog и miniKanren, понимает принципы их функционирования и реализации.
  • Умеет формулировать задачи в терминах целей для соответствующих языков.
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Тема 1. Задача выполнимости
  • Тема 2. Prolog
  • Тема 3. miniKanren
  • Тема 4. Программирование в ограничениях, системы переписывания
Элементы контроля

Элементы контроля

  • неблокирующий Домашнее задание
    Домашнее задание выдается студентам в одном варианте и состоит из 7 заданий. Срок выполнения домашнего задания - 2 недели. Форма представления обучающимися домашнего задания — репозиторий с выполняющимися тестами.
  • блокирующий Письменный экзамен
    Письменный экзамен проводится в форме ответов на вопросы экзаменационного билета. Экзаменационный билет формируется из двух вопросов из перечня вопросов к экзамену. На подготовку ответа выделяется 2,5 часа.
Промежуточная аттестация

Промежуточная аттестация

  • 2022/2023 учебный год 3 модуль
    0.4 * Письменный экзамен + 0.6 * Домашнее задание
Список литературы

Список литературы

Рекомендуемая основная литература

  • Pierce, B. C. (2002). Types and Programming Languages. Cambridge, Mass: The MIT Press. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=70966

Рекомендуемая дополнительная литература

  • Cardoso, J. M. P., & Diniz, P. C. (2009). Compilation Techniques for Reconfigurable Architectures. New York, NY: Springer. Retrieved from http://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=275651