理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- non-recurrent disturbance
- nonrecurrent point
- nonrecurrent state
- Non-recurrent Traffic Congestion
- nonrecurring
- non-recursive
- non-recursive algorithm
- non-recursive filtering methods
- non-recursively enumerable language
- non-recursively enumerable language, non-r.e. language
- non reducing sugar
- non-reducing sugar
- nonreducing sugar
- nonreductive polyacrylamide gel electrophoresis
- non-redundancy
- non-redundant
- nonredundant aperture masking
- non-redundant array
- non-redundant masking
- nonreferential
- non-reflecting boundary condition
- nonreflecting boundary condition
- non-reflecting film
- nonreflexive
- nonreflexive relation