Дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей.