＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- regular determinant
- regular differentiable mapping
- regular differential
- regular differential equation
- regular differential form
- regular differential operator
- regular differential system
- regular Dirichlet form
- regular distribution
- regular dodecagon
- regular dodecahedron
- regular dodecahedron group
- regular domain
- regular edge coloring
- regular eigenvalue problem
- regular element
- regular element of a Lie algebra
- regular embedded graph
- regular embedding
- regular endpoint
- regular error
- regular estimator
- regular event
- regular exhaustion
- regular expression