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