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

15.03.04 - Автоматизация технологических процессов и производств (Автоматизация технологических процессов и производств) План в архиве

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Компетенции

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