Очная форма обучения, план набора 2020 г.
Изучается: 4 семестр
Цикл дисциплины: Б1. Дисциплины (модули)
Индекс дисциплины: Б1.Б.03.05
Обеспечивающая кафедра: Кафедра компьютерных систем в управлении и проектировании
Рабочая программа
Основная литература
Дополнительная литература
Клини С.К. Математическая логика: Пер. англ. - 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 семестр | Всего | Единицы |
|---|---|---|---|---|---|---|---|---|---|---|
| Лекция | 36 | 36 | часов | |||||||
| Практическая работа | 36 | 36 | часов | |||||||
| Всего аудиторных занятий | 72 | 72 | часов | |||||||
| Самостоятельная работа | 72 | 72 | часов | |||||||
| Общая трудоемкость | 144 | 144 | часов | |||||||
| 4 | 4 | З.Е |
Компетенции
| Код | Содержание |
|---|---|
| ОК-5 | способностью к самоорганизации и самообразованию |
| ПК-19 | способностью участвовать в работах по моделированию продукции, технологических процессов, производств, средств и систем автоматизации, контроля, диагностики, испытаний и управления процессами, жизненным циклом продукции и ее качеством с использованием современных средств автоматизированного проектирования, по разработке алгоритмического и программного обеспечения средств и систем автоматизации и управления процессами |
| ПК-20 | способностью проводить эксперименты по заданным методикам с обработкой и анализом их результатов, составлять описания выполненных исследований и подготавливать данные для разработки научных обзоров и публикаций |