查询词典 propositional algebra

Yet as expressed by many it ignores too readily the propositional and creedal content of Scripture.

但由於所表达的许多它无视太容易了命题和creedal内容的经文。

At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in modal information.

在知识蕴涵命题逻辑的基础上，构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。

SNePS, the Semantic Network Processing System,is the implementation of a fully intensional theory of propositional knowledge representation, reasoning, and acting.

SNePS是一个语义网络处理系统。它是一个完全内涵理论的实行，这种理论建议知识表示，推理和表演。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

Propositional Network of noumenal knowledge of teachers in different stages of development is different.

从心理学视角看，教师个人的陈述性知识主要通过命题、意象与线性顺序加以表征，程序性知识主要通过&产生式&加以表征；教师在教育过程中表现出来的个人知识是陈述性和程序性知识的结合体——图式这一综合表征形式。

It is not bare propositional content considered as if from nowhere, but is rather informed by being phenomenologically embedded and directed.

这不是单纯的命题内容（——其被认为不来于任何地方），而是提供现象学的植入或指向而获知。

But that is the general propositional form.

而这就是一般的命题形式。

Propositional formulas decision is one of core issues in artificial intelligence field.

命题公式的判定是人工智能领域中的一个核心问题。

The proposition and classification of propositional forms are a very complicated problem.

命题及命题形式的分类是一个相当复杂的问题。

In the introduction, I elucidate the origin and the form changing of the problem of the propositional certainty.

在论文的导论部分，我阐述了命题确定性问题的起源及其形式的转变。

It has to be computed by the host for the actual clock rate.

主控制器可以用来计算实际的时钟速率。

Let's see what you got.

让我看看你的东西