Chinese translation for "公理体系"

axiomatics

Related Translations:

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

全等公理:  congruence aximcongruenceaxim

子集公理:  axiom of subsets

普通公理:  general axiom

公理系统:  axiomatic systemaxiomaticssystem of axioms

公理模式:  axiom schemaaxiom scheme

直线公理:  linear axiom

公理化:  axiomatization; axiomatize

公理基础:  axiomatic basis

连续公理:  axiom of continuityaxioms of continuity

Example Sentences:

	1.	At the same time , we prove the consistency , soundness and completeness of this axiomatisation 同时证明了这个公理体系的一致性、无矛盾性、完全性以及完备性。
	2.	We have established the risk measurement axiom system by defining the notions like acceptable future random net worth , unacceptable position 通过引入“可接受的”未来随机净价值和“不可接受的”头寸风险等概念，建立了一致风险测度公理体系。
	3.	Then the axiomatic of negotiating logic is presented to give the system a formal description , and then appropriateness of axioms is interpreted 之后给出基于模态逻辑的协商推理逻辑公理体系来形式化地描述多agent系统，再对公理的合理性进行充分的解释。
	4.	1 . studied the axioms of lattice implication algebra , the axioms which can construct a lattice implication algebra on a set without any algebraic structure were given . 2 研究了格蕴涵代数的公理体系，给出了一组在没有任何代数结构的集合上建立格蕴涵代数的等价公理。
	5.	The author always insists that law science should be science just as natural science . in this text the author put forward a theory , named “ axiom system of law ” 本文作者一向主张法学作为一门科学也应当有科学性,为了保证法学研究的科学性,文章在此部分提出了“法律的公理体系理论” 。
	6.	In this axiom system , we made a study of the coherent measures of risk and convex measures of risk , which is extended from the coherent measures of risk , and proved its representation theorem 在一致性公理体系内，研究了一致风险测度的有关性质并由一致风险测度弱化部分条件后推广出凸性风险测度，并证明了它的表示定理。
	7.	In this paper , a formalism of reasoning about the interaction in multi - agent system is presented , which is mas model based on negotiation axiom system of capability and thought ( ctn system ) 本文提出了一种多agent系统进行交互推理的形式化的体系? ?基于能力( capability )与思维( thought )的协商( negotiation )公理体系的多agent系统模型（ ctn系统） 。
	8.	As we all known , with the founding of euclidean geometry in ancient greece , with the development of analytic geometry and other kinds of geometries , with f . kline " s erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on , man has developed their understand of geometry . on the other hand , euclid formed geometry as a deductive system by using axiomatic theory for the first time . the content and method of geometry have dramatically changed , but the geometry curriculum has not changed correspondingly until the first strike from kline and perry " s appealing 纵观几何学发展的历史，可以称得上波澜壮阔：一方面，从古希腊时代的欧氏综合几何，到近代解析几何等多种几何的发展，以及用变换的方法处理几何的埃尔朗根纲领，到20世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。
	9.	Fde and dde have been extensively developed since 1959 , and each branch has been set up a complete theory system . now , more and more scholars study fde and explore further developments . also , fde with infinite delay is one of the fields of great interest to people . in fact , fde with infinite delay has undergone a rapid development since 1870s . hale and kato gave a normal and set up the b phase space theory in 1978 . under the basic theory , people studied the stability , boundedness and periodic solution of rfde . for example : in [ 4 ] , huang qichang introduced the concept of uniformly forgetful functional , discussed the boundedness and stability of solution ; [ 5 ] - [ 8 ] discussed the existence of periodic solutions , generalized the results of rfde with finite delay . however , for nfde with infinite delay , few people discuss it , and many problems have not been solved . so there are some very interesting developments . lt is worth while generalizing the results of fde with fini te delay or rfde with infinite delay to nfde with infinite delay . because of the difficulty of infinite delay , we may discuss neutral volterra integro - differential equations , and obtain simple results 自1959年以来，无论是一般的泛函微分方程还是具体的微分差分方程，其发展是非常迅速的，在每一分支中都形成了一套完整的理论体系，如今越来越多的学者涉足这一领域探求更新的发展，无穷时滞泛函微分方程就是他们研究的主要对象之一。准确地说，无穷时滞泛函微分方程兴起于19世纪七十年代， 1978年hale与kato提出b空间的公理体系。在此体系下建立了方程的基本理论，并研究了解的稳定性、有界性、周期解等问题，如[ 4 ]利用一致健忘的liapunov泛函讨论了解的有界性和稳定性， [ 5 ] - [ 8 ]讨论了周期解的存在性，推广了有限时滞的相关结果。
	10.	The axiom system of law theory insist : the reasoning of law science is the same as the one of natural science , one proposition is deduced from another proposition , the correctness of the first proposition depends on the correctness of the second proposition , the correctness of the second proposition depends on the third proposition , and so on 法律的公理体系理论主张:法学的推理与自然科学推理的方式是相同的,都是由一个命题出发经过逻辑推理得出另一个命题。后一个命题的正确性取决于前一个命题的正确性,而前一个命题的正确性又取决于再前一个命题的正确性,一直可以追溯到一个不能再行追问的而必须被确认为真的命题? ?公理,而公理的正确性则取决于公众的一致承认。

Similar Words：

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