09.03.04 - Программная инженерия (Программная инженерия) План в архиве
Очная форма обучения, план набора 2014 г.
Изучается: 3 семестр
Цикл дисциплины: Б1. Дисциплины (модули)
Индекс дисциплины: Б1.В.ОД.4
Обеспечивающая кафедра: Кафедра автоматизации обработки информации
Рабочая программа
Основная литература
Дополнительная литература
Шапорев С. Д. Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов. - СПб. : БХВ-Петербург, 2005. - 410 с.
Доступно в библиотеке:
52
экземляра
Шевелев Ю. П. Математическая логика и теория алгоритмов: учебное пособие. - Томск: Дельтаплан, 2007. - 219 с.
Доступно в библиотеке:
40
экземпляров
Смыслова З.А. Математическая логика и ее приложения : Учебное пособие.- Томск: ТАСУР, 1994. – 111 с.
Доступно в библиотеке:
17
экземпляров
Клини С. К.Математическая логика : Пер. англ. М. : КомКнига, 2007 ; М. : УРСС, 2007. – 480 с.
Доступно в библиотеке:
15
экземпляров
Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для вузов. - М.: Академия, 2004. - 446 с.
Доступно в библиотеке:
15
экземпляров
Учебно-методическое пособие
Контрольные испытания
| Вид контроля | Семестры |
|---|---|
| Экзамен | 3 |
Объем дисциплины и виды учебной деятельности
| Вид учебной деятельности | 1 семестр | 2 семестр | 3 семестр | 4 семестр | 5 семестр | 6 семестр | 7 семестр | 8 семестр | Всего | Единицы |
|---|---|---|---|---|---|---|---|---|---|---|
| Лекция | 18 | 18 | часов | |||||||
| Практическая работа | 18 | 18 | часов | |||||||
| Лабораторная работа | 18 | 18 | часов | |||||||
| Всего аудиторных занятий | 54 | 54 | часов | |||||||
| Самостоятельная работа | 54 | 54 | часов | |||||||
| Всего (без экзамена) | 108 | 108 | часов | |||||||
| Подготовка и сдача экзамена/зачета | 36 | 36 | часов | |||||||
| Общая трудоемкость | 144 | 144 | часов | |||||||
| 4 | 4 | З.Е |
Компетенции
| Код | Содержание |
|---|---|
| ОПК-1 | владением основными концепциями, принципами, теориями и фактами, связанными с информатикой |