Сайты ТУСУРа

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

27.03.04 - Управление в технических системах (Управление в робототехнических системах)

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

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

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

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

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

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

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

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

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

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


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

Вид контроля Семестры
Зачёт с оценкой 4

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

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

Компетенции

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