KZ

Формализация семантики языков программирования

  • В ходе изучения дисциплины формализуется значений конструкций языков программирования посредством построения их формальных математических моделей. Формализация семантики языков программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ. Дисциплина позволяет выполнить семантический анализ языков программирования и разработать общую метамодель систем продукций.
  • Образовательная программа 8D06102 Информатика
  • ВУЗ Евразийский национальный университет имени Льва Николаевича Гумилева
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 1
Top