Inductive definitions, recurrence systems, proof by induction, recursive algorithms, recursion vs. iteration.

- Give inductive definitions for sets such as palindromes, unsigned integers, etc.
- Prove properties using induction.
- Write recursive algorithms to solve problems.