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