Today we explore variations on induction - taking steps of different sizes, having multiple base cases, increasing our number of inductive assumptions, etc. - and see why in some cases we "build up" and in others we "build down."
Readings
- [Guide to Induction][guide_to_induction]
- [Induction Proofwriting Checklist][induction_checklist]
File Attachments
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.