Бакалавриат 2024/2025

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

Статус: Курс по выбору (Прикладная математика и информатика)

Направление: 01.03.02. Прикладная математика и информатика

Кто читает: Департамент информатики

Где читается: Школа информатики, физики и технологий

Когда читается: 4-й курс, 3 модуль

Формат изучения: без онлайн-курса

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Булычев Дмитрий Юрьевич

Язык: русский

Кредиты: 3

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

Аннотация

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

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

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

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

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

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

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

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

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

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

• 2024/2025 3rd module
  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

Авторы

• Кузнецов Антон Михайлович