Верификация и анализ программ Дисциплина [Б1.ДВ.2.6.2]
012 Кафедра компьютерных систем и технологий
Скачать .sig
Описание:
Формирование целостной картины существующих проблем в области информатики и вычислительной техники, их состояния и пути их решения для совершения осознанного и научно обоснованного выбора темы диссертационных исследований.
Структура:
Семестр Всего (ч) (Лекц / Практ. / Лаб.) Аттестация
2 216 (30 / 0 / 30) Экзамен
Итого 216 (30 / 0 / 30) Экзамен
Компетенции:
  • ПК-1 - Способен применять научно обоснованные перспективные методы исследования и решать задачи на основе знания мировых тенденций развития вычислительной техники и информационных технологий с внедрением результатов исследований в реальный сектор экономики
  • ПК-2 - Способен разрабатывать модели и компоненты высокопроизводительного защищенного программно-аппаратного обеспечения и автоматизированных систем обработки информации и управления с использованием современных инструментальных средств и технологий