Сайты ТУСУРа

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

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

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

Изучается: 7, 8, 9 семестр

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

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

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

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

Зюзьков В.М. Логическое программирование: учеб. пособие. – Томск: ТУСУР, 1999. - 116 с.
Доступно в библиотеке: 44 экземляра


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

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

Контрольные работы

Семестр Количество
8 1

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

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

Компетенции

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