Что такое пропозициональная семантика языка программирования?
(Отметьте один правильный вариант ответа.)
Варианты ответа
описание семантики путем сопоставления конструкций языка с некоторыми формальными математическими объектами
описание семантики языка в терминах изменения состояний или сведением конструкций языка в более примитивной абстрактной машине
описание того, как некоторые свойства меняются в процессе применения конструкций языка(Верный ответ)