Сайты ТУСУРа

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

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

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

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

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

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

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

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

Клини С. К. Математическая логика: Пер. англ. - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М.: УРСС, 2007. – 480 с. ISBN 978-5-484-00802
Доступно в библиотеке: 20 экземпляров

В. М. Зюзьков. Теория алгоритмов: учебное пособие для вузов – 2-е изд., испр. и доп. – Томск: Издательство Томского университета, 2009. – 162 с. ISBN 978-5-7511-1932-4
Доступно в библиотеке: 22 экземляра

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

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

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


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

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

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

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

Компетенции

Код Содержание
ОПК-1 Способен применять естественнонаучные и общеинженерные знания, методы математического анализа и моделирования, теоретического и экспериментального исследования в профессиональной деятельности
ОПК-8 Способен разрабатывать алгоритмы и программы, пригодные для практического применения
УК-1 Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач