Математическая логика и теория алгоритмов

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 семестр Всего Единицы
Лекция1818часов
Практическая работа1818часов
Лабораторная работа1818часов
Всего аудиторных занятий5454часов
Самостоятельная работа5454часов
Всего (без экзамена)108108часов
Подготовка и сдача экзамена/зачета3636часов
Общая трудоемкость144144часов
44З.Е

Компетенции

Код Содержание
ОПК-1 владением основными концепциями, принципами, теориями и фактами, связанными с информатикой