This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Fall '16
 James Korsh
 Mathematical Induction, Recursion, formal methods, Loop invariant, Structural induction, subsequence

Click to edit the document details