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