理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- doped molybdenum
- doped semiconductor
- doped tungsten
- dope dyed fiber
- dope-dyed polyester fiber
- doping
- doping analysis
- doping attitude
- doping-based etch-stop technology
- doping control for sports
- doping fullerene
- doping optical fiber laser
- doping superlattice
- DOPLOC
- DOPO
- Doppelmayer crater
- Doppelmayr
- Dopper phase Lock
- Doppler
- Doppler boosting factor
- Doppler broadening
- doppler-broadening in Rayleigh scattering
- Doppler cell electrophoresis
- Doppler contour
- Doppler cooling