Структура:
| Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
| 3 |
108 (16 / 32 / 16) |
Экзамен, Курсовая работа |
| Итого |
108 (16 / 32 / 16) |
Экзамен, Курсовая работа |
Компетенции:
- ПК-1 - способен применять основы философии и методологии науки
- ПК-6 - способен применять существующие подходы к верификации моделей программного обеспечения
- ПК-9 - способен проектировать трансляторы и интерпретаторы языков программирования
- ПК-16 - способен применять навыки создания трансляторов и интерпретаторов языков программирования
- ПК-1.1 - Способен
организовать разработку
вычислительных
механизмов обеспечения
семантически
безопасного режима
работы
информационных
систем
- ПК-1.2 - Способен самостоятельно
организовать процесс,
чтобы конструировать
математические модели,
описывающие
конкретные системы и
объекты в прикладных
областях
- ПК-1.3 - Способен
самостоятельно
организовать процесс,
чтобы создавать и
реализовывать, в том
числе на компьютерах,
алгоритмы для
сконструированных
математических моделей