English translation for "公理系统"

axiomatic system
axiomatics
system of axioms

Related Translations:

公理会:  (基督教新教主要派别之一) congregational church

全等公理:  congruence aximcongruenceaxim

子集公理:  axiom of subsets

普通公理:  general axiom

公理模式:  axiom schemaaxiom scheme

直线公理:  linear axiom

公理化:  axiomatization; axiomatize

公理基础:  axiomatic basis

连续公理:  axiom of continuityaxioms of continuity

偏好公理:  axiom of preference

Example Sentences:

	1.	Simplified axiom systems of r0 algebras and independence 0代数公理系统的简化与独立性
	2.	On the unity of the scientific world and the living world 描述教学世界的一个模态公理系统
	3.	Completeness of axiom systems 公理系统的完全性
	4.	After having a set of correct and effective axiom , realizing properly complex object and inheritance is the key to ordbms 可以说，在拥有了一套正确而有效的公理系统之后，复杂对象和继承的正确实现是实现ordbms中的关键问题。
	5.	Furthermore , the axiom system of risk is shown and the axiomatized criterion of general financial risk measurement is proposed . therefore , various risk measurement can be brought into this uniform framework to discuss 进一步明确了风险度量的公理系统,总结提出了风险度量的公理化标准,使得各种风险度量都可以纳入到这个统一的框架内进行讨论。
	6.	The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el , which can avoid the logical omniscience , and gives its semantic rules and its axioms 摘要分析认知逻辑中的逻辑全知问题及其解决方法，提出一种可以避免逻辑全知的认知逻辑el ，并给出其语义和公理系统。
	7.	Then we provide a system of axiom based on class level , some algorithms about how to transform class level to database model , three aproches of how to realize properly inheritance in class level 然后在现有rdbms坚实的理论基础上，对新一代的ordbms创新性地提出了基于类层次的公理系统、变换规则，并给出了基于关系模式的类层次向关系数据库模式转换的基本算法。
	8.	An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented 主要内容包括：建立了基于xml的公理系统；给出了假言推理在xdd中的应用形式；论证了假言推理在xdd中有效性和完备性；给出了应用证明论方法实现xml问题求解的方法和步骤。

Similar Words：

"公理模式" English translation, "公理派" English translation, "公理上, 依衡平法" English translation, "公理说明, 公理描述" English translation, "公理体系" English translation, "公理系统的独立性" English translation, "公理系统的完全性" English translation, "公理系统的无矛盾性" English translation, "公理学" English translation, "公理语义学" English translation