6.042: Lecture 3 — Strong Induction
Description: Covers strong induction as a tool for proofs. Introduction to invariants with different games, including the n–block game and grid puzzles.
Speaker: Tom Leighton
6.042 teaches Discrete Mathematics oriented toward Computer Science and Engineering
Marten van Dijk,Tom Leighton and MIT OpenCourseWare