MCS-177 Induction Proof Guidelines
- Follows form
- Clearly states theorem, what inducting on
- Base case
- Inductive hypothesis
- Inductive step
- Content
- Theorem stated correctly
- Induction on right quantity
- Correct induction hypothesis
- Base case
- What value is produced?
- Why is this the correct value
- Inductive step
- What value gets returned
- Check that can apply the induction hypothesis
- Apply hypothesis correctly
- Do the algebra or logic correctly to show that get the right value
- Overall- makes sense, tells truth, no bluster