谓词演算
- 与 谓词演算 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The atomic formula is called atom for short in predicate calculus .
在谓词演算中，有时将原子公式简称为原子。
-
In the refutation tree of predicate calculus, the proved conjunctive formula.
在谓词演算的反驳树中，被证明的合式公式。
-
This is not expressible as a first-order predicate calculus property.
这就是一个一阶谓词演算不可表述的属性。
-
Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.
谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
-
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.
有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。
-
The event calculus is a theory for reasoning about action based on first-order predicate calculus.
事件演算是基于一阶谓词演算的行动推理理论。
-
A legitimate expression of the predicate calculus.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
-
But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".
但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。
-
The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means.
它以狭义谓词演算为基础，在其形式语言中添加专指"制裁"行为的谓词常项，添加专指"国家机关"这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。
-
In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.
1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。
- 推荐网络例句
-
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.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。