1) Axiomatic method
公理方法
1.
The axiomatic method is a mathematics method from geometry, owing to the outstanding characteristic, it is getting a scientific method used extensively.
公理方法是一种源于几何的数学方法。
2) Nash theorem
Nash公理方法
3) Axiomatic approach
公理化方法
1.
This pa- per defines L-fuzzy rough approximation operator based on residuated lattice in axiomatic approach,and presents the simplest for- mulas of the axiom sets charactering the L-fuzzy rough approximation operators.
公理化方法是粗糙集理论研究的重要组成部分,利用公理化方法定义了基于剩余格的L模糊粗糙近似算子,并给出了描述L模糊粗糙近似算子公理集的极简形式。
2.
To develop a more reliable program, two checking methods about program’s varification of correctness are studied, such as Dijkstra’s weakest pre-predicate transformer and Hoare’s axiomatic approach.
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。
4) axiomatic method
公理化方法
1.
From the history of the development of geometry,axiomatic method has undergone two stages.
从几何学的发展历史来看,公理化方法曾经历过两个阶段,即古代几何学公理化方法(也称为实体的公理化方法)和近代几何学公理化方法(也称为形式的公理化方法),文章着重探讨近代几何学公理化方法产生的主要因素及形成的历史途径。
2.
In the situation of the enlargement of college students,combining the background of basic educational reform with the research situation of Elementary Geometry Research,the article brings forward guiding ideology and program of integrating this curriculum,of emphasizing the integration of advanced and elementary geometry,emphasizing axiomatic methods and geometric transformation.
其中,强调“高初结合”,突出公理化方法和几何变换的思想。
3.
This paper intends to discuss an axiomatic method for the definition of determinant and prove that the deterninant defined by the aniomatic method and the determinant defined by the tradictional method equivalent,and discuss some teaching problems on the definition of determinant.
给出了行列式定义的公理化方法 ,并证明了行列式的公理化定义与传统的定义是等价的 。
5) axiomatic approach in mathematics
欧氏公理化方法
6) secondary diagonalization
形式公理化方法
补充资料：公理方法
公理方法
axiomatic method
公理方法{ax初..康m曰.刁;一盯，曰翻‘M价，似] 获得科学理论的一种方法为得到一种科学理论把其中某些原始的假设称为公理(axK)m)，以其作为这个理论的基础，而理论的其他命题是由这些公理一经逻辑推演而得到的. 在数学中，公理方法始于古希腊关于jL何学的研究.公理方法应用的最辉煌实例一一直到19世纪—是E以lid的《几何原本》(E回kl’s曰ell℃r朽)的公理系统(大约公元前I幻年)当时还没有提出用逻辑工具导出公理的推沦的问题，但是，Eucl记系统非常明显地是试图根据相对来说为数不多的公设(公理)利用纯推导的办法得到几何学的所有基本命题，而把公设的成立看成是自明的. 19世纪初，HH.月浦a嘴仪K丽和J.Bol琳l发现的非Euclid几何学进一步促进了公理方法的发展他们证明了，如果把传统的Euclid第五公设用它的否定代替、那么也可以按照纯逻辑的方式得到一种和E比团儿何同样漂亮，并且同样有意义的儿何学.在19世记，数学家们的注意力于是被吸引到关于构造数学理论的演绎方法方面;这就产生了个新问题，即公理方一法概念自身和形式(公理)数学理论的联系的问题.随着用公理方法导出的数学理论的逐步增加—特别应提到的是M.Pasch，G.P。幻no和D.卜Llbe川关于初等几‘何的公理化推演，它们不象Eucl吐《几何原本》那样，它们在逻辑上无可非议，还有Peano首先提出的对算术的公理化—形式公理系统的概念变的更严格厂(见下文)，最后终于创立了作为近代数理逻辑主要部分一之的证明论(详飞义〕ft卜汉，ry). 早在19世纪，人们就意识到必须创立数学和关系到数学的问题的基础.那时主要是在分析中把基本的概念更加精确化，以及利用不断发展的严格逻辑推理把较复杂的思想归结到较简单的概念‘A.1 .CI以h生的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条