axiomatic system信息详情
[数]公理系统
axiomatic───adj.公理的；自明的
axiomatic approach───公理化方法；公理方法，公理探索
axiomatic fuzzy set───公理模糊集
system───n.制度，体制；系统；方法
axiomatic set theory───公理集合
verging system───垂尾系统
system cache───系统缓存
complement system───补体系统；求补系统
justification system───辩护制度
Axiomatic system of autonomic learning is the foundation of the theory and application of autonomic learning.───自主学习公理体系研究是自主学习理论及应用研究的基础。
It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.───证明了：群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。
The paper presents a final solution for the independence of the axiomatic system of the vector space, and so is of some basic significance in theory.───本文最后解决了向量空间公理系统独立性的问题，这在理论上有一定意义。
And made a right to a basic factor of the theory of axiomatic system.───并且提出了权系数理论的一个基本公理化体系。
In an axiomatic system, the primitive symbols are undefined and all other symbols are defined in terms of them.───在任何公理系统中，基设符号都是不下定义的，其它所有符号都藉基设符号来界定。
Equilibrium is the product of an axiomatic system.───均衡概念是一个公理系统的产物。
Finally, an example is given to illustrate how to use the axiomatic system to prove a full regular property of programs.───最后，使用该语言的公理语义对一个应用实例的完全正则性质进行了形式化验证。
Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.───最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。
Metaphysical logic: an axiomatic system concerning metaphysical content───哲思逻辑——一个形而上学内容的公理体系
Equilibrium is the product of an axiomatic system.
And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
The paper will give an axiomatic system for this logic and strictly prove its metalogical properties.
It has been proved that the nature of independence exists in the axiomatic system of Group, Euclidean space, distance space and topological space.
An axiomatic system should begin with a list of the terms that it will use.
The paper presents a model of the axiomatic system the particle geometry in the ordinary space.
Axiomatic system of autonomic learning is the foundation of the theory and application of autonomic learning.
The address forms in appellative system are of metasemiotic features just like the primitives in an axiomatic system.
The Elements is the prime example of an axiomatic system from the ancient world.