Mathematical Induction
- A technique for proving properties of
discrete, ordered entities like the
natural numbers.
- Can also use the technique to prove
properties of computational procedures.
- Mathematical induction and recursion are
closely related.
- Can use mathematical induction to prove
the following types of facts about recursive
procedures:
- Correctness (work as intended)
- Complexity (how much work is done)