＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- degenerate PCR
- degenerate perturbation theory
- degenerate plasma
- degenerate polyhedron
- degenerate positive semidefinite matrix
- degenerate pressure
- degenerate primer
- degenerate problem
- degenerate process
- degenerate quadratic form
- degenerate quadric
- degenerate quantum gas
- degenerate random variable
- degenerate representation
- degenerate semiconductor
- degenerate series
- degenerate series of representations
- degenerate set
- degenerate simplex
- degenerate singular point
- degenerate singular simplex
- degenerate solution
- degenerate star
- degenerate state
- degenerate stellar configuration