Lecture 10

We did two examples of unrolling to find a closed form:

• number of edges in the n-dimensional hypercube
• a "divide-and-conquer" type of recursive function definition

We also did two examples of inductive proofs on a recursively-defined function:

• number of edges in the n-dimensional hypercube
• a function whose value depends on the values at the previous two inputs