首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
利用皮亚诺公理可完成递归原理的证明。如果去掉皮亚诺公理的任意一条,递归原理将不能成立,本文给出了几个例子说明了递归原理对皮亚诺公理的依存关系。  相似文献   

2.
利用皮亚诺公理可完成递归原理的证明,如果去掉皮亚诺公理的任意一条递归原理将不能成立,本文给出了几个例子说明了递归原理对皮亚诺公理的依存关系。  相似文献   

3.
构建了群体在供选方案集上的α-偏比映射,并验证了该群体偏比映射满足互反性和一致性,正相关性,独立性,非强加性,非独裁性等5个偏比公理和匿名性条件.同时,还给出了一个利用α-偏比映射进行群体排序的方法.  相似文献   

4.
本文首先简述了什么是公理系统方法,然后运用该方法分析了电磁学的初始语词,初始公理、原子定义和分子定义,公理及导出陈述。力求给电磁学教学理出一个清晰的思路,让学生们能透彻理解和全面掌握电磁学完整理论,并提示教材改革应突出公理系统方法。  相似文献   

5.
运用公理方法对教育理论进行考察,教育理论是由存在公理(潜在公理)、能动公理(动因公理)、反身公理(自反公理)、美学公理(需要公理)和中介公理(环境公理)所构成的公理体系。教育理论难以完全建立在演绎的基础上,因而公理方法必有其局限性。但借鉴公理方法可能的积极方面,可以在一定程度上增强我们自身的理论性。已提出的公理体系显然尚须检验,尚须观察和讨论。  相似文献   

6.
几何学的演绎基础是公理.不同的公理系统演绎出不同的几何体系.例如,根据希尔伯特的五组(?)十条公理(关联公理八条,顺序公理四条,合同公理五条,连续公理二条,平行公理一条)可以得到一个完整的欧几里得几何体系.改变希尔伯特的平行公理又可得到罗巴切夫斯基几何或黎曼几何.更一般的几何——射影几何,也可以建立在严格的公理基础之上.  相似文献   

7.
人生是目的和手段的对立统一。人生目的和人生手段相互包含、相互作用。从目的和手段分,人生公理分为人生目的公理和人生手段公理。人生目的公理包括人生饮食公理、人生穿衣公理、人生住房公理和人生婚姻公理。人生手段公理包括人生求学公理、人生创新公理和人生终极公理。本文对人生目的公理和人生手段公理分别简述之后,用设问和追问的方法重点探究哲学的终极关怀,特别是马克思主义人生最高境界和马克思主义哲学终极关怀的全息统一。  相似文献   

8.
人生是目的和手段的对立统一。人生目的和人生手段相互包含、相互作用。从目的和手段分,人生公理分为人生目的公理和人生手段公理。人生目的公理包括人生饮食公理、人生穿衣公理、人生住房公理和人生婚姻公理。人生手段公理包括人生求学公理、人生创新公理和人生终极公理。本文对人生目的公理和人生手段公理分别简述之后。用设问和追问的方法重点探究哲学的终极关怀,特别是马克思主义人生最高境界和马克思主义哲学终极:关怀的全息统一。  相似文献   

9.
中学平面几何采用的是欧几里得公理系统.这个公理系统,从一些基本概念和公理出发,推出了一系列的定理.其中每一个定理,都是依据基本概念、公理、定义,或者前面已经证明过的定理来证明的.  相似文献   

10.
生命的直接根据是身体,生命教育归根结底必须奠基于恰当的身体哲学。自然主义的身体哲学是这方面的一个尝试,包括三组九条公理:物身心三本体公理、我你他三主体公理和动静松三本能公理。  相似文献   

11.
集合的测度     
集合的测度作为长度的推广,是一个重要的数学概念,本文论述了由长度公理推广到测度公理的过程,建立了勒贝格测度公理及勒贝格一斯蒂吉斯测度公理。  相似文献   

12.
本文介绍了一个对连续公理进行探讨过程中发现的与连续公理等价的新命题。该命题更通俗的反映了直线的完备性。文中证明了在结合公理、顺序公理的基础上该命题与戴德金原理的等价关系  相似文献   

13.
欧几里得的《几何原本》作为数学与逻辑结合的典范,包含了中学平面几何、立体几何的主要内容和论证方法,但《几何原本》在逻辑结构上,有不少缺欠和不足,由此引起对“几何基础”的深入探讨,借助“几何基础”课的学习,比较希尔伯特公理法和现行中学几何教材公理系统的异同,并阐述如何看待中学几何教材的公理化系统。一、几何学公理法和希尔伯特公理法所谓几何学公理法就是把教学中推理的原始依据归结为少数几个基本概念和几组公理,以此为依据,把数学中某一学科的知识,通过逻辑规则,整理成为一个演绎体系的方法。公元前3世纪,《几何原本》是用…  相似文献   

14.
简化了由ZhuY .和TuW .给出的格蕴含代数的公理系统 ,并给出另一个公理系统。  相似文献   

15.
几何体占有空间部分的大小叫做几何体的体积。研究并求几何体的体积有着非常重要的理论价值和实际意义。 由于有公理5、公理6,使得体积这部分内容,连同立体几何前四个公理,形成了一个独立的逻辑严密的体系。我们学习这一部分内容,如果不仅仅是注意或记忆几个几何体的体积公式,而是集中精力研究这些公式是怎样在公理5、公理6的基础上推出来的,那么将会提高我们的推理论证能力。学会处理非常规几何体求体积的方法。  相似文献   

16.
格蕴涵代数的一个简化公理系   总被引:2,自引:0,他引:2  
将格蕴涵代数的公理系由原来的19条公理简化为7条公理,从而为检验一个(2,2,2,1,0,0)型代数是否为格蕴涵代数提供了方便。  相似文献   

17.
该文提出了一种新的决策表连续属性离散化算法.首先使用条件信息量来度量条件属性的重要性,并据此对条件属性按照条件信息量从大到小排序,然后按排序后的顺序,考察每个条件属性的所有断点,将冗余的断点去掉,从而将条件属性离散化.该算法易于理解,计算简单.  相似文献   

18.
给出了一个很有趣味的形式公理体系:一个集合、一种关系、五条公理、若干定理,还找到了该体系的一个应用对象:n维欧氏空间中的邻域系.  相似文献   

19.
证明了关于自然数集={1,2,3,…}的Peano公理系统中的第五条公理(即数学归纳原理)乃该系统中其余公理的逻辑推论.因之,可将它自该系统中删去而仅把它作为一个重要定理以优化该系统.  相似文献   

20.
为了使聚类可以在低维数据空间中进行,提出了一种新的聚类特征选择方法.该方法分3个步骤,每个步骤都在一个wrapper框架中执行.首先,将所有原始特征都按照重要性进行排序,引入一个特征重要性评价函数E(f);然后,顺序地选择特征组成重要特征子集;最后,去除重要特征子集中可能存在的冗余特征.由于是顺序选择特征而不是在巨大的特征子集空间中进行搜索,因此算法效率很高.实验结果表明该方法可以找出有助于聚类的重要特征子集,并且可以去掉那些不利于聚类的特征.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号