MCS-177 Induction Proof Guidelines

Follows form

Clearly states theorem, what inducting on
Base case
Inductive hypothesis
Inductive step

Content

correctly states theorem
inducting 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 BS