＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Huazi Zhen
- Hua’an’s Selection of Ci-Poems
- Hua’er folk song
- Hua’e Xianghui building
- hub
- hub and spoke network
- hub-and-spoke system
- Hu Baoyu
- Hubbard
- Hubbard Hamiltonian
- Hubbard model
- Hubbard Stratnovich transformation
- Hubbard-Stratnovich transformation
- Hubbard-Stratnovich变换
- hubbing
- hubble
- Hubble age
- Hubble Atlas of Galaxies
- Hubble classification
- Hubble constant
- Hubble crater
- Hubble Deep Field
- Hubble deep field
- Hubble diagram
- Hubble distance