First-order Logic 一阶逻辑 ; 初阶逻辑 ; 以学习初阶逻辑 ; 一阶谓词逻辑
First order logic [计] 一阶逻辑 ; 一阶谓词逻辑 ; 的一阶谓词逻辑
Semigroups underlying first-order logic 一阶逻辑之下的半群
if first-order logic if一阶逻辑
first-order logic model 一阶逻辑模型
specification in first-order logic-axioms 一阶逻辑表达的公理规格说明
fuzzy first-order logic 模糊一阶逻辑
fuzzy first order logic 模糊一阶逻辑
This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.
这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。
Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。
In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析，提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。
应用推荐