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

09.03.01 - Информатика и вычислительная техника (Системы автоматизированного проектирования)

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

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

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

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

Обеспечивающая кафедра: Кафедра компьютерных систем в управлении и проектировании

Основная литература

В. М. Зюзьков. Теория алгоритмов: учебное пособие для вузов - 2-е изд., испр. и доп. -Томск: Издательство Томского университета. 2009. - 162 с. ISBN 978-5-7511-1932-4
Доступно в библиотеке: 22 экземляра
В. М. Зюзьков. А. А. Шелупанов. Математическая логика и теория алгоритмов: учебное пособие для вузов - 2-е изд. - М.: Горячая линия-Телеком, 2007. - 176 с. - (Специальность для высших учебных заведений). ISBN 5-93517-349-2
Доступно в библиотеке: 101 экземпляр

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

Непейвода Н. Н. Прикладная логика: Учебное пособие / Николай Николаевич Непейвода; Министерство общего и профессионального образования Российской Федерации, Удмурдский государственный университет. - Ижевск : Издательство Удмуртского университета. 1997. - 385 с.
Доступно в библиотеке: 5 экземпляров
Вольвачев Р. Т. Элементы математической логики и теории множеств: Учебное пособие для вузов - Минск: Университетское, 1986. - 108 с.
Доступно в библиотеке: 10 экземпляров
Клини С. К. Математическая логика: Пер. англ. - 3-е изд., стереотип. - М.: КомКнига. 2007 ; М.: УРСС, 2007. - 480 с. ISBN 978-5-484-00802-5
Доступно в библиотеке: 20 экземпляров

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

В. М. Зюзьков. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радиоэлектроники. - Томск, 2007. - 101 с. Стр. 5 - 59.
Доступно в библиотеке: 35 экземпляров
В. М. Зюзьков. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радиоэлектроники. - Томск, 2007. - 101 с. Стр. 60-100.
Доступно в библиотеке: 35 экземпляров

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

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

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

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

Компетенции

Код Содержание
ОК-7 Способность к самоорганизации и самообразованию.
ПК-3 Способность обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности.