理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- weak integrability
- weak integral
- weak interaction
- weak [interaction] current
- weak interaction current
- weak interaction of biomolecules
- weak intermediate boson
- weak invertibility property
- weak isomorphism
- weak isospin
- weak junction
- weak key
- weak lacuna
- weak large deviation principle
- weak laser extracorporeal treatment devices
- weak law
- weak law of large numbers
- weak Lefschetz theorem
- weak lensing
- weak light
- weak light detection technique
- weak light detection technology
- weak limit
- weak linear ordering
- weak-lined star