область семантики, раздел семантики (естественного языка)
English-Russian Modern Computing dictionary
semantic equation
семантическое уравнение
English-Russian Modern Computing dictionary
semantic-formal language
формально-семантический язык
English-Russian Modern Computing dictionary
semantic technique
семантический метод
English-Russian Modern Computing dictionary
semantic definition
семантическое определение Определение, в котором определяемое понятие представляет собой выражение, а определяющее понятие отображает некоторый предмет.
English-Russian Modern Computing dictionary
axiomatic semantics
аксиоматическая семантика Способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия необходимые для ее применения, и условия, которые становятся выполненными после ее применения.
English-Russian Modern Computing dictionary
data semantics
семантика данных Смысловое содержание данных (в отличие от синтаксиса данных, рассматривающего только формы их представления).