＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- orientation star
- orientation state structure of polymers
- orientation sub
- orientation telesthesia
- orientation variable
- oriented
- oriented area
- oriented atlas
- oriented attachment
- oriented basis
- oriented bordism
- oriented boundary
- oriented bundle
- oriented cell
- oriented chain complex
- oriented circle
- oriented circuit
- oriented cobordant manifold
- oriented cobordism
- oriented cobordism class
- oriented cobordism group
- oriented cobordism theory
- oriented cohomology theory
- oriented complex
- oriented contour