Unit content

Recursion and induction

Recursion and induction

Connect recursive definitions with inductive proofs and program execution.