＞数理逻辑与数学基础＞模型论＞释义 first-order logic 一阶逻辑 first-order logic 一阶逻辑†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- horizontal parallax，X-parallax
- horizontal pendulum
- horizontal percussion and wind music
- horizontal plane
- horizontal position
- horizontal pre-packed screens completion
- horizontal product differentiation
- horizontal projection
- horizontal projection plane
- horizontal protection
- horizontal public opinion confrontation
- horizontal refraction
- horizontal refraction error
- horizontal resistance
- horizontal resolution
- horizontal resonance
- horizontal scanning method
- horizontal scraper discharge settle centrifuge
- horizontal section of orebody
- horizontal shifting mechanical parking system
- horizontal soft-bearing balancing machine
- horizontal solar telescope
- horizontal space
- horizontal spectrograph
- horizontal strip