Home / Lectures / Mathematics for Computer Science
Mathematics
Lecture 2: Induction
- Course
- Mathematics for Computer Science
- Instructor
- Prof. Tom Leighton
- Department
- Electrical Engineering and Computer Science
- Recorded
- Fall 2010
- Level
- Undergraduate
Free account required. The lecture opens at MIT OpenCourseWare.
About this lecture
An introduction to proof techniques, covering proof by contradiction and induction, with an emphasis on the inductive techniques used in proof by induction.
