This document provides an overview of induction and recursion. It discusses mathematical induction, including the principle of mathematical induction and its validity due to the well-ordering property. It provides examples of proofs by mathematical induction, including proofs of equations, inequalities, divisibility results, and tiling checkerboards. It also discusses recursive definitions and algorithms.