Video — Induction
A recursive program is a computational form of a proof of induction. So to start, we will talk about proofs by induction. Later we will talk about how recursive programs model the structure of inductive proofs.
A recursive program is a computational form of a proof of induction. So to start, we will talk about proofs by induction. Later we will talk about how recursive programs model the structure of inductive proofs.