FOL：一阶逻辑

“First Order Logic”经常缩写成FOL，以便快捷书写、使用。

常见于学术科学领域 ,和数学相关。

中文意思为：“一阶逻辑”。

First Order Logic具体释义

英文缩写：FOL
英语全称： First Order Logic
英语发音：
美式英语发音：
英式英语发音：
中文意思：一阶逻辑
中文拼音：yī jiē luó jí
常用领域：学术科学
相关：数学

英文缩写词FOL的例句

This paper put forward a possible method about the non-revision in the first order logic.
本文提出信念非修正理论在一阶逻辑(FOL)中一种新的可能的实现方法。
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑(FOL)形式系统和我们所提出的广义反驳方法的完备性。
Context fusion operation is used to implement concrete context processing, and this paper uses context knowledge share and logic inference to implement it, logic inference combines first order logic and description logic.
上下文融合操作用于实现具体的上下文处理，本文使用了上下文知识共享结合逻辑推理的方法来实现，逻辑推理结合了一阶逻辑(FOL)和描述逻辑。
Interpolation theorem and preservation theorem in first order logic have determined the existence of first order formula in accordance with certain conditions, their proofs in classical model theory are fairly long and hard to tackle.
一阶逻辑(FOL)的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型论中对这些的证明较为繁难。
The present paper covers the application of RUE-NRF resolution to a set of generalized clauses by proposing a generalized RUE-NRF resolution method, and a proof of the completeness of this method in first order logic.
本文将RUE-NRF归结使用在广义子句集上，提出了广义RUE-NRF归结方法，并证明了这一方法对于一阶逻辑(FOL)的完备性；

注意：

英文缩写词 FOL 的含义,不止“First Order Logic”一个。

“FOL”是什么缩写的意思？

本站收集到的FOL英文缩写还有：

FOL：一阶逻辑

First Order Logic具体释义

英文缩写词FOL的例句

注意：

“FOL”是什么缩写的意思？

【医学】领域:

【学术科学】领域:

【机构】领域:

【社会】领域:

【综合】领域:

【计算机】领域:

声明：