Induction and recursion (Fundamental algorithms, Spring 2023, Lecture 2)
Kent Quanrud · 77:56
This lecture treats induction and recursion as one method: write a precise recursive specification (input/output contract), implement it with a base case plus a recursive step, then prove by induction on a well-chosen...