＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- free-free absorption
- free-free emission
- free free transition
- free-free transition
- free functor
- free gas
- free generator
- free geometry motion planning
- free group
- free group action
- free group factor
- free groupoid
- free gyroscope
- Freehand Brushwork
- freehand drawing
- free hand proflie
- free-hand section
- free harmonic oscillation
- free height
- free homotopy
- free hypersurface
- free ideal
- free ideal ring
- free ideal ring (fir)
- free idempotent monoid