Функциональное программирование

Бакалавриат 2022/2023

Лучший по критерию «Новизна полученных знаний»

Статус: Курс обязательный (Программная инженерия)

Направление: 09.03.04. Программная инженерия

Кто читает: Базовая кафедра группы компаний MERA (Нижний Новгород)

Где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород)

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

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

Охват аудитории: для своего кампуса

Преподаватели: Костюченко Илья Игоревич, Москвин Денис Николаевич

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

Кредиты: 5

Контактные часы: 64

Полная версия программы учебной дисциплины Задать вопрос

Аннотация

Курс позволяет раскрыть основы функционального и логического программирования, структуры языков, его синтаксис и семантические конструкции, основные тенденции развития функционального программирования в рамках проектирования современных автоматизированных систем, решений, выполненных при использовании функциональных и логических языков программирования. Также раскрываются основные принципы формирования проектных решений для решения задач искусственного интеллекта. Для освоения дисциплины студентам необходимы знания основ программирования и алгебры. Курс реализуется с использованием онлайн-курса «Функциональное программирование на языке Haskell» на платформе Stepik.

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

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

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

Знает понятия и теоретические основы лямбда-исчисления, комбинаторов, чисел Черча, систем типов, монад.
Умеет использовать лямбда-исчисление как язык программирования, программировать на языке Haskell, кодировать рекурсивные функции на Haskell, использовать аппликативные функторы и свертки, программировать с помощью стандартных монад, производить оптимизации с помощью правил переписывания в GHC.
Имеет навыки применения различных методов программирования в функциональном стиле и разработки эффективных программ на языке Haskell.

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

Раздел 1. Основы функционального программирования: лямбда-исчисление и комбинаторная логика
Раздел 2. Язык программирования Haskell: синтаксис, семантика, стандартная библиотека
Раздел 3. Управление эффектами с помощью аппликативных функторов и монад
Раздел 4. Системы типов функциональных языков

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

ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ЯЗЫК HASKELL»
Развернутый ответ на вопрос
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ТИПЫ ДАННЫХ»
Решение задачи
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ЛЯМБДА-КАЛЬКУЛЯТОР»
Реализация алгоритма
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «КЛАССЫ ТИПОВ»
Реализовать функцию
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «СВЕРТКИ»
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «АППЛИКАТИВНЫЕ ФУНКТОРЫ»
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ПАРСЕРЫ И ТРАВЕРСЫ»
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «МОНАДЫ»
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «СТАНДАРТНЫЕ МОНАДЫ»
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ТРАНСФОРМЕРЫ МОНАД»
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ВЫВОД ТИПОВ»
ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «РЕКУРСИВНЫЕ ТИПЫ»
ТЕСТИРОВАНИЕ
Тест состоит из 5 вопросов со множественным выбором ответа, за каждый вопрос начисляется 2 балла

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

2022/2023 учебный год 2 модуль
0.059 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ВЫВОД ТИПОВ» + 0.059 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «СТАНДАРТНЫЕ МОНАДЫ» + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ЛЯМБДА-КАЛЬКУЛЯТОР» + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «СВЕРТКИ» + 0.3 * ТЕСТИРОВАНИЕ + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ЯЗЫК HASKELL» + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ПАРСЕРЫ И ТРАВЕРСЫ» + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «КЛАССЫ ТИПОВ» + 0.059 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «РЕКУРСИВНЫЕ ТИПЫ» + 0.059 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ТРАНСФОРМЕРЫ МОНАД» + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «МОНАДЫ» + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «ТИПЫ ДАННЫХ» + 0.058 * ДОМАШНЕЕ ЗАДАНИЕ ПО ТЕМЕ «АППЛИКАТИВНЫЕ ФУНКТОРЫ»

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

Авторы

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

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