042 Кафедра криптологии и дискретной математики

Структура:

Семестр	Всего (ч) (Лекц / Практ. / Лаб.)	Аттестация
2	216 (30 / 15 / 15)	Экзамен
Итого	216 (30 / 15 / 15)	Экзамен

Компетенции:

ПК-6 - способен применять существующие подходы к верификации моделей программного обеспечения
ПК-9 - способен проектировать трансляторы и интерпретаторы языков программирования
ПК-15 - способен применять навыки создания программного обеспечения для анализа, распознавания и обработки информации, систем цифровой обработки сигналов
ПК-16 - способен применять навыки создания трансляторов и интерпретаторов языков программирования
ПК-20 - способен применять навыки организации промышленного тестирования создаваемого программного обеспечения