OLHOpen Lecture Hall

Home / Lectures / Mathematics for Computer Science

Still from the lecture

Mathematics

Lecture 3: Strong Induction

Course: Mathematics for Computer Science
Instructor: Prof. Tom Leighton
Department: Electrical Engineering and Computer Science
Recorded: Fall 2010
Level: Undergraduate

▶ Watch the lecture

Free account required. The lecture opens at MIT OpenCourseWare.

About this lecture

Covers strong induction as a tool for proofs. Introduction to invariants with different games, including the n–block game and grid puzzles.

← Lecture 2: Induction Lecture 4: Number Theory I →

More in Mathematics

Still from the lecture “Lecture 1: The geometry of linear equations”

Lecture 1: The geometry of linear equations

Linear Algebra · Prof. Gilbert Strang

Still from the lecture “Lecture 2: Elimination with matrices”

Lecture 2: Elimination with matrices

Linear Algebra · Prof. Gilbert Strang

Still from the lecture “Lecture 3: Multiplication and inverse matrices”

Lecture 3: Multiplication and inverse matrices

Linear Algebra · Prof. Gilbert Strang