运算语义论
_
операционная семантика
примеры:
运算语义(论)
операционная семантика
运算的语义
operational semantics
пословный:
运算 | 语义 | 论 | |
считать, вычислять; мат. действие, операция; операционный; вести расчёты
|
семантика; смысловой, семантический
|
1) обсуждать; рассматривать; судить о чём-либо
2) суждение; мнение
3) теория, учение
4) в соответствии с; по; на
5) о; к вопросу о (в названиях теоретических работ)
6) тк. в соч. критиковать
|