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

credit

Marten van Dijk,Tom Leighton and MIT OpenCourseWare

license

OpenCourseWare