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
File Attachments
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.
Today's recording will be embedded on this page shortly after lecture.