＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- Kyrgyz cinema
- Kyrgyz horse
- Kyrgyz (Kirgiz) literature
- Kyrgyz language
- Kyrgyz script
- Kyrgyzstan
- Kyrgyzstan music
- kyropoulos method
- Kyshtym nuclear disaster
- Kyung Hyang Daily News
- Kyushu-sanchi
- Kyveli
- Kyzylkum Desert
- Kyzylzhar
- Kyōhō Reforms
- Kzyl-Orda
- k·p method
- k·p法
- Kádár János
- Kálmán Mikszáth
- Kármán
- Kármán-Howarth equation
- Kármán-Tsien formula
- Kähler
- Kähler derivation