理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- hitch
- Hitchcock
- Hitchcock method
- Hitchin
- Hitchin system
- Hitchock method
- hit compound
- hite knifebelly carps
- HITEN
- Hiten
- Hit Marketing
- hit noise
- Hitoshi Kihara
- hit ratio
- HITS algorithm
- HIT solar cell
- Hitsuji No Uta—Wagakaisou
- HITS算法
- hit the tape
- Hittie iron smelting
- hitting distribution
- hitting measure
- hitting planks
- hitting probability
- hitting set