查询词典 axiomatic method

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。

In an axiomatic system, the primitive symbols are undefined and all other symbols are defined in terms of them.

在任何公理系统中，基设符号都是不下定义的，其它所有符号都藉基设符号来界定。

Two consistent systems for elasticity, the Axiomatic System of Variation and the Formal System of Variation, are suggested in this paper.

他事实上认为变分原理中的变量独立是不证自明的或理所当然的[14]。但是变量独立的问题并没有解决，因为在他的系统中也存在着矛盾。

The axiomatic system in Pawlak rough approximation space is studied by use of matrix expression of fuzzy relation and its operation.

利用模糊关系及其运算的矩阵表示，建立Pawlak粗近似空间的公理体系，该公理系统由三条相互独立的非常简洁的表达式构成。

An independent axiomatic system that describes the upper approximation of Pawlak rough sets is formulated by three simple formulas.

获得的结果深刻地揭示了经典等价关系与模糊等价关系的本质区别，进一步深化了Pawlak粗集理论。

The Elements begin with plane geometry , still taught in secondary school as the first axiomatic system and the first examples of formal proof .

在过去的二千年的形容词"欧"是不必要的，因为没有其他类型的几何已经设想。

At a formal level, an axiom is just a string of symbols , which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system .

在正式一级，公理只是一个字符串的符号，它的内在含义只有在所有derivable公式的公理化体系。

Axiomatic system of law ; topics ; practical knowledge ; situational thinking

法律公理体系；论题学；实践知识；情境思维

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。