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 高阶谓词演算,高阶谓词演算英语

predicate calculus相关例句

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

互联网

The atomic formula is called atom for short in predicate calculus.

在谓词演算中,有时将原子公式简称为原子.

互联网

Also, first - order predicate calculus isn't good enough anyway.

同时, 从各方面来说,一阶谓词演算都不是足够好.

互联网