Studying mathematical induction and recursive programming together
Keith Brandt, Margaret F. Richey · Journal of computing sciences in colleges · 2004
Mathematical induction is a proof technique used throughout math-ematics, and recursion is a programming concept frequently used in computer science. This note will explore the parallel between induction proofs and recursive programs by providing several example problems that lead to an induction proof and a corresponding recursive program. We feel that students who are exposed to this parallel will gain a deeper understanding of both topics.