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

09.03.04 - Программная инженерия (Индустриальная разработка программных продуктов)

Очная форма обучения, план набора 2020 г.

Изучается: 5, 6, 7 семестр

Цикл дисциплины: Б1. Дисциплины (модули)

Индекс дисциплины: Б1.В.02.01

Обеспечивающая кафедра: Кафедра автоматизации обработки информации

Дополнительная литература


Контрольные испытания

Вид контроля Семестры
Экзамен 5
Экзамен 6
Курсовой проект 7

Объем дисциплины и виды учебной деятельности

Вид учебной деятельности 1 семестр 2 семестр 3 семестр 4 семестр 5 семестр 6 семестр 7 семестр 8 семестр Всего Единицы
Лекционные занятия181432часов
Лабораторные занятия201636часов
Курсовое проектирование1818часов
Самостоятельная работа707890238часов
↳ из них практическая подготовка0часов
Подготовка и сдача экзамена/зачета363672часов
Общая трудоемкость144144108396часов
44311З.Е

Компетенции

Код Содержание
ПКР-4 Готовность к использованию методов и инструментальных средств исследования объектов профессиональной деятельности
ПКР-6 Владение навыками моделирования, анализа и использования формальных методов конструирования программного обеспечения