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

09.03.04 - Программная инженерия (Программная инженерия)

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

Изучается: 2 семестр

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

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

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

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

Клини С. К.Математическая логика : Пер. англ. М. : КомКнига, 2007 ; М. : УРСС, 2007. - 480 с. В библиотеке ТУСУРа.
Доступно в библиотеке: 15 экземпляров
Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для вузов. - М.: Академия, 2004. - 446 с. В библиотеке ТУСУРа
Доступно в библиотеке: 15 экземпляров
Шапорев С. Д. Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов. - СПб.: БХВ-Петербург, 2005. - 410 с. В библиотеке ТУСУРа
Доступно в библиотеке: 52 экземляра
Шевелев Ю. П. Математическая логика и теория алгоритмов: учебное пособие /.. - Томск: Дельтаплан, 2007. - 219 с. В библиотеке ТУСУРа.
Доступно в библиотеке: 40 экземпляров
Смыслова З.А. Математическая логика и ее приложения : Учебное пособие.- Томск: ТАСУР, 1994. -111с. В библиотеке ТУСУРа.
Доступно в библиотеке: 17 экземпляров

Учебно-методическое пособие

Перемитина Т.О. Математическая логика и теория алгоритмов: методические указания к выполнению практических работ для студентов специальности 230102 - Автоматизированные системы обработки информации и управления. - Томск, ТУ СУР, 2007. - 36 с. В библиотеке ТУСУРа.
Доступно в библиотеке: 37 экземпляров

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

Вид контроля Семестры
Экзамен 2

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

Вид учебной деятельности 1 семестр 2 семестр 3 семестр 4 семестр 5 семестр 6 семестр 7 семестр 8 семестр Всего Единицы
Лекция3636часов
Практическая работа3636часов
Всего аудиторных занятий7272часов
Самостоятельная работа7272часов
Всего (без экзамена)144144часов
Подготовка и сдача экзамена/зачета3636часов
Общая трудоемкость180180часов
55З.Е

Компетенции

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