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

单词

first order logic

释义

first order logic

简明释义

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

网络释义

1
[计]?一阶逻辑
一阶逻辑
2
?一阶谓词逻辑
在实际中一般只用’一阶谓词逻辑（First Order Logic，FOL），例如人工智能语言PROLOG就是以它为基础的。
3
?的一阶谓词逻辑
基于本体的异构数据集成的研究 - docin.com豆丁网模型传统数据集成领域的本体模型如（Onto［ingua，CycL，L00岫等，大多数来源于人工智能的一阶谓词逻辑（firstorder logic，FOL）。尽管一阶谓词逻辑具有丰富的语义表达能力，但由于其推理过程比较复杂，对一些典型的本体推理问题（如包

短语

1
First-order Logic
一阶逻辑 ; 初阶逻辑 ; 以学习初阶逻辑 ; 一阶谓词逻辑
2
Semigroups underlying first-order logic
一阶逻辑之下的半群
3
if first-order logic
if一阶逻辑

双语例句

1
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
2
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
3
Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。

随便看

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

单词	first order logic
释义	first order logic 简明释义一阶逻辑：一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统，也可以称为：一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑和命题逻辑的不同之处在于，一阶逻辑包含量词。网络释义 1 [计]?一阶逻辑一阶逻辑 2 ?一阶谓词逻辑在实际中一般只用’一阶谓词逻辑（First Order Logic，FOL），例如人工智能语言PROLOG就是以它为基础的。 3 ?的一阶谓词逻辑基于本体的异构数据集成的研究 - docin.com豆丁网模型传统数据集成领域的本体模型如（Onto［ingua，CycL，L00岫等，大多数来源于人工智能的一阶谓词逻辑（firstorder logic，FOL）。尽管一阶谓词逻辑具有丰富的语义表达能力，但由于其推理过程比较复杂，对一些典型的本体推理问题（如包短语 1 First-order Logic 一阶逻辑 ; 初阶逻辑 ; 以学习初阶逻辑 ; 一阶谓词逻辑 2 Semigroups underlying first-order logic 一阶逻辑之下的半群 3 if first-order logic if一阶逻辑双语例句 1 This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us. 这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。 2 The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices. 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。 3 Continuous first-order logic is an analog of classical first-order logic. 连续一阶逻辑是经典一阶逻辑的一个类比。
随便看	heptoxide distillation heptoxide heptoximate heptoxime HePTP Heptranchias perlo Heptranchus pectorosus heptulose hepturonic acid heptyl heptyl heptyl acetate heptyl alcohol heptyl aldehyde heptylaldehyde heptyl amice heptylamine heptyl amine heptylate heptylbenzene heptyl benzene heptyl bromide heptyl chloride heptyl cyanide heptylene