Для доступа необходимо войти в систему
09.03.04 - Программная инженерия (Индустриальная разработка программных продуктов)
Очная форма обучения, план набора 2019 г.
Изучается: 5, 6 семестр
Цикл дисциплины: Б1. Дисциплины (модули)
Индекс дисциплины: Б1.В.01
Обеспечивающая кафедра: Кафедра автоматизации обработки информации
Рабочая программа
Основная литература
Дополнительная литература
Зюзьков В.М. Логическое программирование: учеб. пособие. – Томск: ТУСУР, 1999. - 116 с.
Доступно в библиотеке:
44
экземляра
Учебно-методическое пособие
Контрольные испытания
| Вид контроля | Семестры |
|---|---|
| Экзамен | 5 |
| Экзамен | 6 |
Объем дисциплины и виды учебной деятельности
| Вид учебной деятельности | 1 семестр | 2 семестр | 3 семестр | 4 семестр | 5 семестр | 6 семестр | 7 семестр | 8 семестр | Всего | Единицы |
|---|---|---|---|---|---|---|---|---|---|---|
| Лекционные занятия | 18 | 14 | 32 | часов | ||||||
| Лабораторные занятия | 20 | 16 | 36 | часов | ||||||
| Самостоятельная работа | 70 | 78 | 148 | часов | ||||||
| ↳ из них практическая подготовка | 0 | часов | ||||||||
| Подготовка и сдача экзамена/зачета | 36 | 36 | 72 | часов | ||||||
| Общая трудоемкость | 144 | 144 | 288 | часов | ||||||
| 4 | 4 | 8 | З.Е |
Компетенции
| Код | Содержание |
|---|---|
| ПКР-4 | Готовность к использованию методов и инструментальных средств исследования объектов профессиональной деятельности |
| ПКР-6 | Владение навыками моделирования, анализа и использования формальных методов конструирования программного обеспечения |