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