理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- minimal homeomorphism
- minimal hypersurface
- minimal ideal
- minimal identity
- minimal immersion
- minimal index
- minimal inhibitory concentration
- minimal injective presentation
- minimal injective resolution
- minimal integral
- minimal interval
- minimalism
- minimalism governance
- Minimalist music
- Minimalist Program
- minimalist style
- minimal iteration method
- minimality
- minimal kinetic energy blowup solution
- minimal K-type
- minimal left almost split map
- minimal left ideal
- minimal [left,right] ideal
- minimal lethal dose
- minimal line