Очная форма обучения, план набора 2017 г.
Изучается: 4 семестр
Цикл дисциплины: Б1. Дисциплины (модули)
Индекс дисциплины: Б1.Б.18
Обеспечивающая кафедра: Кафедра компьютерных систем в управлении и проектировании
Рабочая программа
Основная литература
Дополнительная литература
Клини С. К. Математическая логика: Пер. англ. - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М.: УРСС, 2007. – 480 с. ISBN 978-5-484-00802-5 (20 экз.)
Доступно в библиотеке:
20
экземпляров
В. М. Зюзьков. Теория алгоритмов: учебное пособие для вузов – 2-е изд., испр. и доп. – Томск: Издательство Томского университета, 2009. – 162 с. (22 экз.) ISBN 978-5-7511-1932-4 (наличие в библиотеке ТУСУР - 22 экз.) : Библиотека ТУСУР,
Доступно в библиотеке:
22
экземляра
Учебно-методическое пособие
В. М. Зюзьков. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радио-электроники. - Томск, 2007. - 101 с. (35 экз.). (наличие в библиотеке ТУСУР - 35 экз.) (самостоятельная работа стр. 5-59)
Доступно в библиотеке:
35
экземпляров
В. М. Зюзьков. Задачи и упражнения по математической логике и теории алгоритмов: учебное методическое пособие. Томский государственный университет систем управления и радиоэлектроники. - Томск, 2007. - 101 с. (35 экз.). (наличие в библиотеке ТУСУР - 35 экз.) (для практических занятий: стр. 60-100)
Доступно в библиотеке:
35
экземпляров
Контрольные испытания
| Вид контроля | Семестры |
|---|---|
| Экзамен | 4 |
Объем дисциплины и виды учебной деятельности
| Вид учебной деятельности | 1 семестр | 2 семестр | 3 семестр | 4 семестр | 5 семестр | 6 семестр | 7 семестр | 8 семестр | Всего | Единицы |
|---|---|---|---|---|---|---|---|---|---|---|
| Лекция | 34 | 34 | часов | |||||||
| Практическая работа | 40 | 40 | часов | |||||||
| Всего аудиторных занятий | 74 | 74 | часов | |||||||
| Самостоятельная работа | 70 | 70 | часов | |||||||
| Всего (без экзамена) | 144 | 144 | часов | |||||||
| Подготовка и сдача экзамена/зачета | 36 | 36 | часов | |||||||
| Общая трудоемкость | 180 | 180 | часов | |||||||
| 5 | 5 | З.Е |
Компетенции
| Код | Содержание |
|---|---|
| ОК-5 | способностью к самоорганизации и самообразованию |
| ПК-19 | способностью участвовать в работах по моделированию продукции, технологических процессов, производств, средств и систем автоматизации, контроля, диагностики, испытаний и управления процессами, жизненным циклом продукции и ее качеством с использованием современных средств автоматизированного проектирования, по разработке алгоритмического и программного обеспечения средств и систем автоматизации и управления процессами |
| ПК-20 | способностью проводить эксперименты по заданным методикам с обработкой и анализом их результатов, составлять описания выполненных исследований и подготавливать данные для разработки научных обзоров и публикаций |