【摘 要】
：
证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。文中的例子显示出连续归纳法可用统一模
【机 构】
：
中国科学院成都计算机应用研究所,广州大学计算机教育软件研究所,电子科技大学计算机科学与工程学院
【基金项目】
：
国家重点基础研究发展计划(973计划)项目(2004CB318003);中国科学院知识创新工程重要方向项目(KJCX2-YW-S02)
论文部分内容阅读
证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。文中的例子显示出连续归纳法可用统一模式简单明了地给出数学分析中若干定理的证明,如果在数学专业的分析教学中应用连续归纳法,将有助于克服长期存在的教学难点,提高教学的质量和效率。同时也为分析推理的机械化进行了必要的准备。
其他文献
术后恶心和呕吐(PONV)是外科手术和麻醉以后常见的并发症。大约25％-30％的全麻病人术后会出现PONV。虽然它具有自限性，不会致命，但是能够导致脱水、电解质平衡紊乱、吸入性肺炎、
抗菌药物至今不仅是治疗细菌性传染和各种细菌感染的主要武器,而且已成为推动相关医学学科发展的有力助手.外科领域中,细菌感染仍是常见的一组疾病和重要的并发症,常成为影响
本文对高校中应用传统健美操教学模式的健美操教学效果与新型的健美操资源教学效果进行对比，从中探究构建新型高校健美操课程资源开发及利用的新模式，以期为未来我国高校健美操
针对目前考试系统和主观题评分算法的研究现状,引入了自然语言处理技术。在对已有的相似度计算的算法进行改进的基础上,提出了一种新的排序和划分区间的评分方法,并在.NET平
目的:探讨并分析非典型脑淋巴瘤的影像表现,并分析误诊原因。方法:收集2018-01~2019-04在我院MRI诊断并经病理诊断或临床治疗证实为脑淋巴瘤的患者12例,其中男8例,女4例,应用
在小学语文教学中,教师要重视优化自己的教学手段,引导学生深入文本体会其中的内涵,从而帮助学生充分体会文本,获得自己的独特感悟,实现语文素养的提升。＂重视积累,强化语用能
作为中国传统文化主源之一的儒家文化因其被长期的封建统治者所奉行而深深地塑造了中华民族的民族心理和价值观念。同时，因之而形成的相应的民族心理和价值观念作为一种“历史
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
对近红外光谱法在纺织品原料组份定性、定量快速检测领域的应用进行了研究,并介绍了在该领域的其他相关成果。研究成果表明传统方法需要十多小时的检测,近红外光谱法在无须破
心悸是临床常见病、多发病,病位在心,与五脏相关。当今社会竞争日渐激烈,生活和精神压力空前巨大,郁怒伤肝,以肝气郁结为主要诱因的疾病屡见不鲜。然而肝为心之母,母病及子,