Описание:
Дисциплина «Семантическое конфигурирование программных систем» нацелена на изложение основ (денотационной) семантики языков программирования. В курсе объясняется семантика отдельных конструкций как строительных блоков, из которых «собираются» компьютерные программы, а также показывается семантика составных конструкций, построенных из этих блоков.
Структура:
Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
3 |
216 (16 / 32 / 16) |
Экзамен |
Итого |
216 (16 / 32 / 16) |
Экзамен |
Компетенции:
- ПК-12 - способен проектировать вспомогательные и специализированные языки программирования и языки представления данных
- ПК-16 - способен применять навыки создания трансляторов и интерпретаторов языков программирования
- ПК-18 - способен применять навыки создания компонент операционных систем и систем реального времени
- ПК-19 - способен применять навыки создания систем обработки текстов