axiomatic system

axiomatic system的基本解释

-

[计] 公理系统

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

The research on rough set axiomatic system plays an important role in the rough set theory and its applications.

粗糙集合理论是一种新的有效处理不精确、不确定、含糊信息的理论，粗集公理系统研究是粗集理论及应用研究的基础。

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]。但是变量独立的问题并没有解决，因为在他的系统中也存在着矛盾。

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

axiomatic system：公理系统

axiomatic set theory 公理论的集论;公理集合论 | axiomatic system 公理系统 | axiomatics 公理学