＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- formalized
- formalized arithmetic
- formalized language
- formalized poly (vinyl alcohol) fiber
- formalized theory
- formal language
- formal language theory
- formal law
- formal learning
- formal legal reasoning
- formal linear combination
- formal logic
- formally adjoint operator
- formally convergent
- formally decidable formula
- formally hypoelliptic
- formally p-adic field
- formally real algebra
- formally real field
- formally refutable formula
- formally self-adjoint operator
- formally smooth ring
- formally smooth transformation
- formally undecidable formula
- formally undecidable proposition