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

单词

first-order predicate logic

释义

first-order predicate logic

简明释义

一阶谓词逻辑：一阶谓词逻辑是一种形式系统，用于数学、哲学、语言学和计算机科学。它也被称为一阶断言演算、低阶断言演算、量化理论或谓词逻辑。与命题逻辑不同，一阶谓词逻辑包含量词。

网络释义

1
?一阶谓词逻辑
... 先进先出First in,first out(FIFO) 一阶谓词逻辑First-order predicate logic 固定格式语言Fixed-format language Flash ...

短语

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

双语例句

1
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
2
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
3
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.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。

随便看

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

单词	first-order predicate logic
释义	first-order predicate logic 简明释义一阶谓词逻辑：一阶谓词逻辑是一种形式系统，用于数学、哲学、语言学和计算机科学。它也被称为一阶断言演算、低阶断言演算、量化理论或谓词逻辑。与命题逻辑不同，一阶谓词逻辑包含量词。网络释义 1 ?一阶谓词逻辑 ... 先进先出First in,first out(FIFO) 一阶谓词逻辑First-order predicate logic 固定格式语言Fixed-format language Flash ... 短语 1 first order predicate logic 数一阶谓词逻辑 ; 叙述逻辑 2 distributed first-order predicate logic 分布一阶谓词逻辑 3 First-order Fuzzy Predicate Logic 一阶模糊谓词逻辑双语例句 1 Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。 2 Predicate logic of first order is the most classical calculation system in modern logic. 一阶谓词逻辑是现代逻辑中最为经典的演算系统。 3 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. 文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
随便看	GdnHCl gdns GDNT GDO GDOP GDOR gdos gdot Gdov Gdovskiy Rayon GDP GDP binding protein GDP-binding protein GDP deflator GDP dissociation inhibitor GDP Dissociation Inhibitors GDP dissociation stimulator GDP-D-MANNOSE GDPFLRFamide GDP-FUC GDP Fucose GDP-fucose GDP-FUE GDPG GDP Gap