数学归纳法与其在计算机科学中的应用

1引言数学归纳法是中学数学课程中的一个课题.我们通过一些有关整数的恒等式来学习归纳法.比如我们可以证明,对所有的整数n≥0,成立:0+1+2+3…+n=n(n+1)/2.我们假定,读者对这类证明已经很熟悉了为了完整,我们只对一些基础知识做一个系统的介绍,另一方面,归纳法在计算机科学的算法理论中有大量运用,我们希望通过介绍相关知识使读者看到数学对计算机科学的贡献,而且看到计算机科学不仅仅是编程序.