英语词汇predicate calculus logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

网络释义

1
?述词演算逻辑
... predicate calculus logic 述词演算逻辑 predicate logic language 谓词逻辑语言 highorder predicate logic 高阶谓词逻辑 ...

短语

1
medium logic predicate calculus
中介逻辑谓词演算
2
Medium Logic Predicate Calculus System
中介逻辑谓词演算

双语例句

1
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
2
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
3
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

单词	predicate calculus logic
释义	predicate calculus logic 简明释义述词演算逻辑网络释义 1 ?述词演算逻辑 ... predicate calculus logic 述词演算逻辑 predicate logic language 谓词逻辑语言 highorder predicate logic 高阶谓词逻辑 ... 短语 1 medium logic predicate calculus 中介逻辑谓词演算 2 Medium Logic Predicate Calculus System 中介逻辑谓词演算双语例句 1 In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model. 本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。 2 Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch. 谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。 3 This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM. 本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
随便看	armour piercing discarding sabot armour piercing discarding sabot tracer armour piercing shell armour-plate armourplate armour plate armourplated armour plated armour-plated armourplate glass armour plate mill armour plate rolling mill armour plate armour plate armour plating armour-plating armour rod armour armour shelf armour steel armour stone armour unit armour wire armoury Armoury Museum