Lecture 3: Casework and Strong Induction

Name: Lecture 3: Casework and Strong Induction
Uploaded: 2025-07-24T00:12:11Z
Duration: 1 h 24 min 10 s
Description: This lecture builds upon proof techniques of construction, instantiation, direct argument, contradiction, and induction. We then go over more proof by cases and strong induction.

1:24:10

Up Next

Lecture 4: State Machines

Continue

This lecture builds upon proof techniques of construction, instantiation, direct argument, contradiction, and induction. We then go over more proof by cases and strong induction.