理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- Monge
- Monge Ampere equation
- Monge-Ampere equation
- Monge-Ampère differential equation
- Monge-Ampère equation
- Monge axis
- Monge chordal theorem
- Monge circle
- Monge circle theorem
- Monge cone
- Monge curve
- Monge differential equation
- Monge equation
- Monge form
- Monge patch
- Monge pencil
- Monge pencill
- Monge point
- Monge problem
- Monge shuffle
- Monge's surface
- Monge surface
- Monge tetrahedron theorem
- Mongi Kooli
- Mongilian gazelle