离散数学及其应用—— ch4 归纳与递归

      这章主要介绍了归纳法、递归定义和程序验证三个主题。

    归纳法的引入主要是用于证明这样的命题，它声明某个性质对全体正整数都成立，即“对所有的正整数n，性质P(n)成立”这样一个全称量词。那么基本的归纳法就是“数学归纳法”了，它的证明步骤分为两步，基本步证明P(1)为真；然后在归纳步，对于任意的正整数k，先做归纳假设P(k)为真，然后在这个假设下，证明P(k+1)为真。这样就证明了命题，基本数学归纳法广泛应用于求和公式证明、不等式证明、数论中关于除法重要结论的证明（如带余除法定理）、关于集合的结论、与算法有关的结论、各种智力题的灵活证明等等。而数学归纳法正确性是由“良序性原理”保证的：任何非空的非负整数集合必存在一个最小的元素。稍后可以看到，基本数学归纳法、强数学归纳法以及良序性原理是等价的——可由其中任意一个证明另一个。基本的数学归纳法并不是万能的，仍然存在很多场合，使用基本的数学归纳法根本解决不了问题，于是在此基础上我们引入更强大的工具——强数学归纳法，又叫完备归纳法，它的基本步仍然证明P(1)为真，但是在归纳步，强数学归纳法假设P(1)，P(2)……P(k)同时为真的情况下证明P(k+1)为真，不过该形式有其他的变种࿰