- 更多网络例句与谓词演算相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。
- 更多网络解释与谓词演算相关的网络解释 [注：此内容来源于网络，仅供参考]
-
existential quantifier：存在量词 IN FOPC(一阶谓词演算)
61 EXISTENTIAL QUANTIFICATION 存在量词化 IN KR(知识表示) | 62 EXISTENTIAL QUANTIFIER 存在量词 IN FOPC(一阶谓词演算) | 63 EXPECTED FUTURE PLAN 期望的未来规划
-
extended predicate calculus：广义谓词演算
extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设
-
functional calculus：{基}谓词演算;函数运算法
泛数平均法 functional averaging method | {基}谓词演算;函数运算法 functional calculus | 函数的上积 functional cup product
-
predicate calculus, functional calculus：谓词演算
谓词变元|predicate variable | 谓词演算|predicate calculus, functional calculus | 温莎平均|Winsorized mean
-
logical variable：逻辑变量 IN FOPC(一阶谓词演算)
115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答
-
predicate calculus of the third order：三阶谓词演算
predicate calculus 谓词演算 | predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算
-
predicate calculus with identity：带恒等式的谓词演算
predicate calculus of the third order 三阶谓词演算 | predicate calculus with identity 带恒等式的谓词演算 | predicate constant 谓词常数
-
predicate calculus：谓词演算
与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...
-
unary predicate calculus：单谓词演算
unary operator 単項演算子 | unary predicate calculus 单谓词演算 | unary system 一元系统
-
predicate logic：谓词演算
predicate constant 谓词常数 | predicate logic 谓词演算 | predicate symbol 谓词符号