Математическая логика и теория алгоритмов

09.03.01 - Информатика и вычислительная техника (Системы автоматизированного проектирования)

Очная форма обучения, план набора 2019 г.

Изучается: 4 семестр

Цикл дисциплины: Б1. Дисциплины (модули)

Индекс дисциплины: Б1.О.15

Обеспечивающая кафедра: Кафедра компьютерных систем в управлении и проектировании


Контрольные испытания

Вид контроля Семестры
Зачет с оценкой 4

Объем дисциплины и виды учебной деятельности

Вид учебной деятельности 1 семестр 2 семестр 3 семестр 4 семестр 5 семестр 6 семестр 7 семестр 8 семестр Всего Единицы
Лекция1818часов
Практическая работа3636часов
Всего аудиторных занятий5454часов
Самостоятельная работа9090часов
Общая трудоемкость144144часов
44З.Е

Компетенции

Код Содержание
УК-1 Способен осуществлять поиск, критический анализ и синтез информации, применять системный подход для решения поставленных задач
ОПК-1 Способен применять естественнонаучные и общеинженерные знания, методы математического анализа и моделирования, теоретического и экспериментального исследования в профессиональной деятельности;
ПКР-1 Способен разрабатывать требования и проектировать программное обеспечение и компоненты информационных систем.