6.1200J | Spring 2024 | Undergraduate

Mathematics for Computer Science

Lecture 3: Casework and Strong Induction

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.

Learning Resource Types
Lecture Videos
Lecture Notes
Readings
Problem Sets
Open Textbooks