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

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

Статус: Курс по выбору (Программная инженерия)

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

Кто читает: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

Где читается: Факультет компьютерных наук

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

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

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

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

Кредиты: 5

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

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

Аннотация

Дисциплина посвящена изучению возможностей языков программирования, которые облегчают создание надежных программ. Будут рассмотрены основные аспекты языков функционального программирования и библиотек, в том числе относящиеся к тестированию и формальным доказательствам.