理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- Ansai waist drum
- ansa metallocene
- ansa-metallocene
- ansamycin
- ansatz
- Ansei treaties
- Ansel Adams
- Anselm
- Anselm Kiefer
- Anselmo Suárez y Romero
- Anselmus
- Anser
- anserine
- Ansgarius crater
- Anshan
- Anshan Gaoxin Jishu Chanye Kaifaqu
- Anshan Museum
- Anshan Shi
- Anshan-type iron deposit
- Ansha Shuiku
- An Shigao
- An-Shi Rebellion
- Anshun Chang
- Anshun Confucian Temple
- Anshun Shi