首页 | 本学科首页   官方微博 | 高级检索  
     检索      

有序集的一般归纳原理和连续归纳法
引用本文:张景中,冯勇.有序集的一般归纳原理和连续归纳法[J].科技导报(北京),2008,26(6):24-27.
作者姓名:张景中  冯勇
作者单位:中国科学院成都计算机应用研究所,中国科学院成都计算机应用研究所 成都610041广州大学计算机教育软件研究所,广州510006,成都610041电子科技大学计算机科学与工程学院,成都610054
基金项目:国家重点基础研究发展规划(973计划) , 中国科学院知识创新工程重要方向性项目
摘    要:证明了一个适用于任意有序集的一般归纳原理,以此为基础导出了数学归纳法、超限归纳法和连续归纳法,从而揭示出三种归纳法的共同基础。文中的例子显示出连续归纳法可用统一模式简单明了地给出数学分析中若干定理的证明,如果在数学专业的分析教学中应用连续归纳法,将有助于克服长期存在的教学难点,提高教学的质量和效率。同时也为分析推理的机械化进行了必要的准备。

关 键 词:数学归纳法  连续归纳法  超限归纳法  良序集
文章编号:1000-7857(2008)06-0024-04
修稿时间:2008年2月2日

A General Inductive Principle for an Ordered Set and the Continual Induction
ZHANG Jingzhong,FENG Yong.A General Inductive Principle for an Ordered Set and the Continual Induction[J].Science & Technology Review,2008,26(6):24-27.
Authors:ZHANG Jingzhong  FENG Yong
Abstract:In this paper, a general inductive principle for any ordered set is proved, and the mathematical induction, the transfinite induction and the continual induction are then deduced. Hence the common basis of them is found. The examples show that the continual induction can be used to prove theorems of mathematical analysis in a simple and clear way. The continual induction, being applied in the teaching of Mathematical Analysis, will help to overcome the long standing teaching difficulties and improve the teaching quality. In the meantime, our result may serve as an essential preparation for mechanization of calculus reasoning.
Keywords:mathematical induction  continual induction  transfinite induction  well-ordered set
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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