理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- Songs of Wang Mingjun
- Songs of Yao Minority from Distant Mountains
- Song State
- Song Sui
- Song Tao
- Songtao irrigation district
- Songtao Miaozu Zizhixian
- Songtao Reservoir
- Songtao Shuiku
- Song Tianhu
- Song tomb
- Song typeface
- Song Wan
- Song Weibo
- Song Wencong
- Song Wenzhi
- Song Wu
- Song Xi
- Song Xian
- Song Xiang
- Song Xiangfeng
- Song Xiangru
- Songxian Pavillion Qin Score
- Songxi green tea
- Songxi Xian