有限归纳法原理的几个等价命题

来源 :朝阳师专学报 | 被引量 : 0次 | 上传用户:xeno
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在初等数学中,关于数学归纳法所谈的都是第一数学归纳法,而对其原理的解释都是借助于直观,其实,除第一数学归纳法外,还有第二数学归纳法,它在初等数学中较少使用。严格说来,这两个规纳法与一个所谓“良序原理”等价,本文以集合为工具来严格证明它们的等价性,即有结论:如下三个命题是等价的:(1)良序原理:自然数的每个非空集合都有一个最小数.
其他文献
针对如何提高服务器计算资源利用效率和增强高校各类信息系统的可靠性与安全性,该文构建基于虚拟化的数字校园平台架构。论述虚拟化技术及其分类,介绍虚拟化数字校园平台功能设
自我意识是个性心理中的重要组成部分。研究它,无论在理论上和实践上都具有重大意义。为了促进我国心理学界对自我意识的研究、本文拟就我国在自我意识研究方面的情况作一初
高等学校的后勤管理工作,对于保证师生获得良好的生活、学习和工作环境,对于保证教育改革的顺利进行,悠关重要。当前后勤管理工作存在问题很多,远不能适应形势发展的需要。最
从分析移动计算环境下计算安全性的基本问题入手,探讨了基于程序语言的安全技术和实现方法。通过对移动计算安全框架的分析,指出考虑安全性要求的扩展类型系统这一静态分析方法
兽医临床实践证明,应用中药治疗兔病,不仅费用低廉,而且效果好,无毒副作用,特别是在动物源性食品中禁止使用一些抗微生物药后,应用中草药治疗兔疾病就显得尤为重要。1治拉稀
传统网络管理基本上是面向单个管理域进行的,不同管理域之间缺乏信息交互和共享,限制了大量新的网络管理功能的实施。该文提出了一个基于Web Service和P2P技术的网管信息搜索
"N1不如N2A"格式,是使用频率较高的一种比较句,用于比较不同的事物、动作行为或性状的程度差别。其中,NiN2相对,代表构成比较的两项;"不如"为比较词,表示"不及"、"比不上".
综合考虑了原始签名人和代理签名人的利益,通过将部分盲签名技术引入代理签名,对文献【3】提出的一种匿名代理签名方案进行了改进,构造出在合理安全假设可证安全的新匿名代理协
1发病原因兔积食症即胃肠臌气,俗称膨胀病,多见于断奶后6个月以内的家兔,多因吃了过多的易膨胀的饲料及多量霉变、腐败、冰冻的或品质不好的饲料而引起,临床上常继发便秘和大
元素周期律揭示了元素及其化合物的性质都随着原子序数的递增而呈现着周期性的变化。例如同一主族元素从上至下,元素的金属性逐渐增强,就是因为电子层数依次增多,原子半径依