理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- regularly isotopic
- regular manifold
- regular mapping
- regular map projection
- regular Markov chain
- regular matrix
- regular matroid
- regular maximum ideal
- regular measure
- regular method
- regular metric
- regular mixture
- regular mode and reverse mode
- regular model
- regular module
- regular moment
- regular monomorphism
- regular nebula
- regular neighborhood
- regular net
- regular network
- regular n-gon
- regular nonagon
- regular norm
- regular normed space