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 Notes
Lecture Videos
Open Textbooks
Problem Sets
Readings