predicate calculus logic

英美

述词演算逻辑

predicate calculus logic网络翻译

述词演算逻辑

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

predicate calculus logic双语例句

In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.

本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.

本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

相关单词

purchasingn. 购买，采购 adj. 购买的，采购的 v. <正式>购买，采购；<古>（努力或艰难地）获得，得到；（航海）（用滑轮或杠杆）升起，举起（绳，索，锚）（purchase 的现在分词）
purchasern. 买方；购买者
publishingn. 出版；出版业 adj. 出版的；出版业的 v. 出版；发行（publish 的现在分词形式）；发表
publishern. 出版者，出版商；发行人
psycology
protractorn. 伸肌；分度器；伤处异物摘出器
protectionismn. 保护主义，贸易保护主义；贸易保护制度
proletariatn. 无产阶级，工人阶级；最下层阶级
proletariann. 无产阶级分子；无产者 adj. 无产阶级的；无产者的
programmern. （计）程序设计员；编程器
producingv. （用部件或原材料）生产；出产；生育；创作；引起；出示；制作（电影、戏剧等）；监制（音乐磁带）；（使）线段延长（produce 的现在分词）
prizegivingn. 分配奖品
private sector私营单位
printingn. 印刷（术）；（书的）一次印刷；印刷字体 v. 打印，印刷；（在报纸、杂志上）刊印，刊登；洗印，冲洗（照片）（print 的现在分词形式）
playwrightn. 剧作家