mathematical semantics

不可算名詞

(computer science) A study of formal semantics of computer languages, such as denotational semantics.

日本語の意味

計算機科学において、コンピュータ言語の形式的意味論、例えば指示意味論などを扱う研究分野。

In the graduate seminar, we studied mathematical semantics to understand the precise behavior of programming languages.

大学院のゼミで、私たちはプログラミング言語の正確な振る舞いを理解するために数学的意味論を学びました。

意味（1）

(computer science) A study of formal semantics of computer languages, such as denotational semantics.