predicate calculus的意思|示意

---

predicate calculus相关短语

1、 restricted predicate calculus 狭谓词演算

2、 extended predicate calculus 广义谓词演算

3、 predicate calculus with identity 带恒等式的谓词演算

4、 First Order Predicate Calculus 一阶谓词逻辑,一阶谓词演算,第一阶述词演算,翻译

5、 second-order predicate calculus 二阶谓词演算,翻译

6、 predicate calculus logic 述词演算逻辑

7、 unary predicate calculus 单述词演算,一元谓词演算,单谓词演算英语,翻译

8、 higher order predicate calculus 较高阶述词演算,翻译

9、 high-order predicate calculus 高阶谓词演算,高阶谓词演算英语