6.1200J | Spring 2024 | Undergraduate

Mathematics for Computer Science

Lecture 2: Contradiction and Induction

Today we will explore some basic (but crucial!) proof techniques, and then two powerful techniques: proof by contradiction and proof by induction.

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