Catalog Β· Mathematics for Computer Science Lecture 2 of 24 Lecture 2: Contradiction and Induction β Previous Lecture 1: Predicates, Sets, and Proofs Next β Lecture 3: Casework and Strong Induction β Mark complete Materials Transcript (PDF) β transcript