数学归纳法

1.1 引言 数学归纳法是数学证明的一种标准方法。即使始终没有明确规定,它是计算机程序正确性证明的基本方法。本章试图让读者全面熟悉这一证明的基本方法。