predicate calculus

predicate calculus的基本解释

-

[计] 谓词演算

与predicate calculus相关的网络例句 [注：此内容来源于网络，仅供参考]

This is not expressible as a first-order predicate calculus property.

这就是一个一阶谓词演算不可表述的属性。

In order to match the predicate calculus,the relational database model was selected as the basic data model.

为与谓词演算相配合，关系数据库模型被选作基本数据模型。

Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

Also predicate calculus, which studies the internal structure of simple.

也叫谓语演算，它研究简单马那瓜体的内部结构。

This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.

这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。

与predicate calculus相关的网络解释 [注：此内容来源于网络，仅供参考]

predicate calculus：谓词演算

与谓词演算(predicate calculus)相反,命题演算取简单的、未分析的命题,而不是取词项和名词表达式作为原子单元. 与函项演算相反,它仅处理不包含变项的命题. 简单的(原子的)命题用字母表示,复合的(分子的)命题用下列标准符号形成︰ ...

predicate calculus：述词计算

predicate 述词 | predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑]

predicate calculus：述詞演算

predicate phrase adverbial 述詞組狀語 | predicate calculus 述詞演算 | predicate variable 述語變數

restricted predicate calculus：狭谓词演算

restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化

extended predicate calculus：广义谓词演算

extended point transformation 开拓的点变换 | extended predicate calculus 广义谓词演算 | extended riemann hypothesis 广义黎曼假设