6.042J | Fall 2010 | Undergraduate

Mathematics for Computer Science

Video Lectures

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

Select language:
Top Ten Proof Techniques Not Allowed in 6.042 (PDF)
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2026 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2026 Massachusetts Institute of Technology