Mathematical induction is a powerful proof technique that comes up all the time in computer science. We use it to reason about algorithms, graphs, puzzles, games, and more. This lecture introduces the basics of induction and shows off some of the breadth of its applications.
Links