查询词典 predicate logic
- 与 predicate logic 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Frege's second-order predicate calculus was based on the 'function-argument' analysis of propositions and it freed logicians from the limitations of the 'subject-predicate' analysis of Aristotelian logic.
弗雷格第二阶谓词微积分是基于'功能参数的分析命题，它摆脱了限制逻辑学家的'主谓'亚里士多德逻辑分析。
-
Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.
有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。
-
Deductive database makes good use of predicate logic.
因为它有严格、系统的数理逻辑理论基础和较强的推理能力。
-
Predicate Logic - Wikipedia, the free encyclopedia
谓词逻辑-维基百科，自由的百科全书
-
Second, the paper introduces the modeling characteristic of UML, provides formalization definition of nine kinds of diagram in UML using predicate logic, and points out their respective functions.
其次，本文对UML的建模特性进行了分析和研究，给出了UML中九种图的形式化定义，并指出它们各自的作用。
-
But when put DRS into DRT and the formulas into First-Order Predicate Logic, we will find there is big difference between them: the former is the result of Algorithm, the latter is the result of feeling.
不过，当我们把DRS置于DRT中，并把一阶谓词逻辑公式置于一阶谓词逻辑中，再对二者进行比较的话就会发现，这二者其实是有着重大差异的：前者是算出来的，后者则是感觉出来的。
-
Authors designed a kindred automatic reasoning model based on one-order predicate logic.
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。
-
Thus,§ 2.3 adds truth constants as special formulae to L* predicate logic and axioms about truth constants. The truth degree and the provability of a formula are proposed.
R_0代数是为适应系统研究的需要而提出的，因此对R_0代数作进一步的讨论有助于加深对分系统的认识。
-
The first order predicate logic features, which appear in the axiom clause, include: existence quantifier'exist', universal quantifier'all','find, and'find all'.
语法正确性的检查与传统的语法分析程序所做的工作类似，采用递归子程序分析法。
-
I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.
我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。