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

单词

first order predicate calculus

释义

first order predicate calculus

简明释义

一阶谓词演算

网络释义

1
?一阶谓词逻辑
1.4 企业生产管理过程建模的关键技术 (1) 一阶谓词逻辑(First Order Predicate Calculus)：谓词逻辑是一种表达力很强的形式语言，谓词逻辑及其推理方法是人工智能中的知识表示、机器推理、定理证明的基本方法。
2
?一阶谓词演算
一阶谓词演算(First order predicate calculus, FOPC)是形式化语言的一个例子,广泛用于信息系统的描述。第五章回顾了代数和分类,这些看上去更适合表达.
3
?第一阶述词演算
一阶述词 first order predicate 第一阶述词演算 first order predicate calculus，FOPC 一阶述词逻辑 first order predicate logic ..

短语

1
first-order temporal predicate calculus
一阶时序谓词演算

双语例句

1
Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.
XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。
2
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
3
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

随便看

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

单词	first order predicate calculus
释义	first order predicate calculus 简明释义一阶谓词演算网络释义 1 ?一阶谓词逻辑 1.4 企业生产管理过程建模的关键技术 (1) 一阶谓词逻辑(First Order Predicate Calculus)：谓词逻辑是一种表达力很强的形式语言，谓词逻辑及其推理方法是人工智能中的知识表示、机器推理、定理证明的基本方法。 2 ?一阶谓词演算一阶谓词演算(First order predicate calculus, FOPC)是形式化语言的一个例子,广泛用于信息系统的描述。第五章回顾了代数和分类,这些看上去更适合表达. 3 ?第一阶述词演算一阶述词 first order predicate 第一阶述词演算 first order predicate calculus，FOPC 一阶述词逻辑 first order predicate logic .. 短语 1 first-order temporal predicate calculus 一阶时序谓词演算双语例句 1 Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus. XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。 2 This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus. 这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。 3 Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
随便看	fog lamp switch fogle fogleman Fogler fogle foglesong fogless fogless dressing mirror fog-level fog level Foglia foglie foglietta foglietto fog light foglight fog light foglights fog like fog line Foglio fog lubrication fogmachine fog machine fog machinery