翻译
predicate calculus
- ['predikeit ˈkælkjələs]
释义
- 谓词演算
实用场景例句
- 全部
The atomic formula is called atom for short in predicate calculus.
在谓词演算中,有时将原子公式简称为原子.
互联网
Also, first - order predicate calculus isn't good enough anyway.
同时, 从各方面来说,一阶谓词演算都不是足够好.
互联网
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.
互联网
收起实用场景例句英英释义
Noun
1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
收起英英释义行业词典
数学
谓词演算 又称 :谓词演算(functional calculus )
- 释义
- 实用场景例句
- 英英释义
- 行业词典