理学 形式语义 释 formal semantics 形式语义 人们希望编程语言和程序所具有的，严格的、形式化（数学）的语义定义。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- Archimedean ordered field
- Archimedean ordered group
- Archimedean ordered ring
- Archimedean ordering
- Archimedean property
- Archimedean ring
- Archimedean semigroup
- Archimedean solid
- Archimedean solid stellation
- Archimedean space
- Archimedean spiral
- Archimedean spiral inverse curve
- Archimedean tessellation
- Archimedean unit
- Archimedean valuation
- Archimedean vector lattice
- Archimedes
- Archimedes algorithm
- Archimedes axiom
- Archimedes box
- Archimedes cattle problem
- Archimedes circle
- Archimedes constant
- Archimedes crater
- Archimedes hat-box theorem