This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '06
 KOZEN
 Mathematical Induction, Binary Search, Recursion, Inductive Reasoning, Control flow, recursive calls, binary search runs

Click to edit the document details