Lecture 3: Strong Induction

Flash and JavaScript are required for this feature.

Download the video from iTunes U or the Internet Archive.

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

Related Resources

Top Ten Proof Techniques Not Allowed in 6.042 (PDF)

Free Downloads



  • English-US (SRT)