理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- orbital time scale
- orbital topology
- orbital tumors
- orbital tuning
- orbital vehicle reentry simulator
- orbital velocity
- orbital velocity of spacecraft
- orbital workshop
- orbit and trajectory of planetary probe
- orbit averaged approximation
- orbit-averaged diffusion coefficient
- orbit-averaged Fokker-Planck equation
- orbit capture
- orbit control
- Orbit coordinate system
- orbit correction
- orbit counting lemma
- orbit counting theorem
- orbit-counting theorem
- orbit decomposition
- orbit decomposition formula
- orbit determination
- orbit dynamics
- orbit element
- orbit elements