青年中文axiomatic system的意思
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.