This** preview**
has intentionally

**sections.**

*blurred***to view the full version.**

*Sign up*- Spring '06
- KOZEN
- Mathematical Induction, Binary Search, Recursion, Inductive Reasoning, Control flow, recursive calls, binary search runs