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

单词

first order predicate logic

释义

first order predicate logic

简明释义

一阶谓词逻辑：一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统，也可以称为：一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑和命题逻辑的不同之处在于，一阶逻辑包含量词。

网络释义

1
[数]?一阶谓词逻辑
... 工厂信息协议FIP (factory information protocol) 一阶谓词逻辑first order predicate logic 固定顺序机械手fixed sequence manipulator ...
2
?叙述逻辑
2010/8/30 56 第一层叙述逻辑(First Order Predicate Logic)  利用叙述函式来表达整个叙述运算式，确实利用参数的概念，来表示叙述逻辑  所谓第一层是因为在整个第一层叙述逻辑的叙述函...

短语

1
first-order predicate logic
一阶谓词逻辑
2
distributed first-order predicate logic
分布一阶谓词逻辑
3
First-order Fuzzy Predicate Logic
一阶模糊谓词逻辑

双语例句

1
In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
2
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
3
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。

随便看

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

单词	first order predicate logic
释义	first order predicate logic 简明释义一阶谓词逻辑：一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统，也可以称为：一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑和命题逻辑的不同之处在于，一阶逻辑包含量词。网络释义 1 [数]?一阶谓词逻辑 ... 工厂信息协议FIP (factory information protocol) 一阶谓词逻辑first order predicate logic 固定顺序机械手fixed sequence manipulator ... 2 ?叙述逻辑 2010/8/30 56 第一层叙述逻辑(First Order Predicate Logic)  利用叙述函式来表达整个叙述运算式，确实利用参数的概念，来表示叙述逻辑  所谓第一层是因为在整个第一层叙述逻辑的叙述函... 短语 1 first-order predicate logic 一阶谓词逻辑 2 distributed first-order predicate logic 分布一阶谓词逻辑 3 First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑双语例句 1 In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge. 在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。 2 The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed. 文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。 3 Predicate logic of first order is the most classical calculation system in modern logic. 一阶谓词逻辑是现代逻辑中最为经典的演算系统。
随便看	priggism priggism prigione Prignitz prignon Prigogine Prigogine, Ilya Prigor Prigorodnaya Prigorodnoye Prigorodny Prigorodnyy prigs PRIH Prii Prijedor Prijepolje Prijono Prikaspiyskiy prikaz Prikro Prikubanskoye Prikumsk Prikumskiy Pril