＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- Huqingyutang Chinese Pharmacy
- Huqiu Hill
- Huqiu Qu
- Huqiu Yong
- Hu Qiuyuan
- Hu Quan
- Hurcules and Antaeus
- hurdle effect
- hurdle race
- hurdles of Summer Deaflympics
- hurdles of Summer Special Olympics
- hurdy-gurdy
- Hu Renyu
- Hure Qi
- Hurewicz
- Hurewicz fiber mapping
- Hurewicz fiber space
- Hurewicz homomorphism
- Hurewicz isomorphism theorem
- Hurewicz-Steenrod isomorphism theorem
- Hurewicz theorem
- Hurghada
- Hurgus Kou'an
- Hu Ronghua
- Hu Rongrong