Catalog Β· Mathematics for Computer Science Lecture 3 of 24 Lecture 3: Casework and Strong Induction β Previous Lecture 2: Contradiction and Induction Next β Lecture 4: State Machines β Mark complete Materials Transcript (PDF) β transcript