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