predicate calculus
谓词演算：一种形式逻辑系统，用于表示和推理关于对象和它们之间关系的陈述。
predicate calculus网络翻译
在这一章中，我们介绍谓词演算（predicate calculus），它是用于人工智能的一种表示语言。谓词演算的重要性已经在第二部分的介绍中有所提及，它的优点包括明确定义的形式语义（formal...
述词计算... predicate 述词 predicate calculus 述词计算 predicate logic 述词逻辑 [谓词逻辑] ...
述词演算... 述词演算 predicate calculus 述词逻辑 predicate logic 初始述词 initial predicate ...
述词计较... predicate 述词 predicate calculus 述词计较 predicate logic 述词逻辑 [谓词逻辑] ...
predicate calculus常用短语
1. First Order Predicate Calculus：一阶谓词逻辑 ; 一阶谓词演算 ; 第一阶述词演算
2. second-order predicate calculus：[数] 二阶谓词演算
3. predicate calculus logic：述词演算逻辑
4. unary predicate calculus：单述词演算 ; 一元谓词演算
5. higher order predicate calculus：较高阶述词演算
6. high-order predicate calculus：[数] [计] 高阶谓词演算
predicate calculus双语例句
Predicate Calculus and Program Semantics.
谓词演算与程序语义。
Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
从而形成了模糊谓词演算一种新的语构与语义体系。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
相关单词
- 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. 剧作家