理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- recognition protein
- recognition reaction
- recognition sequence
- recognition site
- recognition space
- recognition symbol
- recognizability
- recognizable set
- recognizer
- recoil
- recoil atom
- recoil chamber
- recoil electron
- recoil ion transport unit
- recoil kinetic energy
- recoil labeling
- recoil labelling
- recoil length
- recoil mass spectrometer
- recoil mass spectrometer, RMS
- recoil nucleus
- recoil particle
- recoil phenomenon
- recoil range
- recoil separator