＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- triple asteroid
- triple-axis spectroscopy
- triple base propellant
- triple bond
- triple camera
- triple coincidence navigation
- triple collision
- Triple Crown
- triple curve
- triple cylinder
- triple data encryption standard
- triple data encryption standard, triple-DES
- triple-DES
- triple-diagonal matrix
- triple-difference phase observation
- triple-draft system
- triple electron-nuclear-nuclear resonance method
- Triple Entente
- triple-free set
- triple galaxy
- triple helix DNA
- Triple Heritage
- triple integral
- triple integral equation
- triple isomorphism