理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- metastable superconducting phase
- metastable zone
- metastasis
- metastate
- metastatic calcification
- metastatic expenditure management
- metastatic tumors of the bone
- meta-stereotype
- metasurface
- metasurface-assisted generalized refractive and reflective effect
- metasurfaces
- meta-surface wave
- meta-surface-wave
- metasymplectic
- meta-system
- metasystem
- Metatarsal/Phalangeal fracture
- metatarsophalangeal joint
- metatarsus
- metathalamus
- metatheorem
- metatheory
- meta-theory in psychology
- metathesis
- metathesis polymerization