This document outlines several recursive algorithms and discusses their recursive definitions, correctness proofs, and running times. It provides examples of using recursion to define functions that compute sums and products. The binary search algorithm is presented recursively and its correctness is proved by strong induction on the size of the input list. Recursive definitions and notation are introduced for sums and products. The running time of binary search is shown to be logarithmic in the size of the input.