理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- A Tale of a Tub
- A Tale of Huo Xiaoyu
- A Tale of Lady Meng Jiang
- A Tale of Rebuilding the Town
- A Tale of the Hairpin
- A Tale of the Jade Dragon Ointment
- A Tale of Two Pearls
- A tale on Ziliujing in Sichuan Province
- A Talk about Calligraphy
- A Talk on Grammatical Rhetoric
- atan
- Atanarjuat: The Fast Runner
- Atanas Hristov Dalchev
- atandard and calibration equipment
- Atar
- A. Tarski
- A. Tarski (1901—1983)
- A. Tauber
- A. Tauber (1866—1942？)
- atautun
- atavism
- A taxation imposed on waterborne freights during the Eastern Jin and Southern Dynasties
- ataxia
- ataxite
- Atayal language