Induction and recursion
Kent Quanrud · 77:19
This lecture teaches how to write recursive specifications and prove them by induction, using Towers of Hanoi, Euclid’s GCD, and bipartite matching versus vertex cover (König’s theorem) as the main examples. The recur...