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