查询词典 predicate logic
- 与 predicate logic 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
-
So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.
在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。
-
The problem solving and inference functions will be provided by the hardware inference mechanism,the control mechanism,parallel processing,the logic programs developed on these machines and the software system for high-order predicate calculus.
FGCS的功能可分成3类：问题的求解和推理功能、基于知识的管理功能和智能接口功能问题的求解和推理功能将由硬件推理机制、控制机制、并行处理，以及在这些机制上开发的逻辑编程及高阶谓词演算软件系统提供。
-
By "extended", it makes sense to propose two principles, one is the type re-arrangement principle and the other is logic predicate principle.
我们所提出的逻辑语义分析法的扩充性主要体现在两个方面：一是加入了类的重设原则；二是在语义的分析过程坚持把逻辑谓词视作为是承载着整个句式的主要语义信息。
-
This notion is closely related to the notion of a predicate in formal logic, which includes more expressions than the former one, like, for example, nouns and some kinds of adjectives.
这一概念与形式逻辑学中的述语概念有紧密的关系。形式逻辑学中还包括了除述语以外的更多概念，如名词和一部分形容词。
-
In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.
1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。
-
Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.
亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。
- 推荐网络例句
-
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.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。