归纳与递归
目录：
数学归纳法介绍
数学归纳法是一种强有力的证明工具。数学归纳法是用来证明定理的工具，但是却不能发现定理。也就是说数学归纳法是一种证明手段。
数学归纳法高中我们也曾学习过，那个时候学习的是不完全归纳法。在离散数学中，我们会学习三种数学归纳法：
- 不完全归纳法（即高中说明的归纳法）
- 强归纳法
- 结构归纳法
这里还会有一些关于递归的知识以及数学归纳法的一些有趣的应用。
本章的参考书籍是《离散数学及其应用》。
不完全归纳法
首先来看看我们都熟悉的不完全归纳法，一般我们就称其为数学归纳法。
关于不完全归纳法，虽然名字有“不完全”三个字，但是这种归纳法恰恰不是不完全的。这种命名只是出于无奈：因为强归纳法也被称为完全归纳法，所以这里的归纳法就被称为不完全归纳法了