Go backward to Inductively Defined Function Go up to Top Go forward to Induction over Multiple Arguments |
Example: Fibonacci Numbers
fib(0) := 1, fib(1) := 1, fib(x+2) := fib(x)+fib(x+1)
fib=[1, 1, 2, 3, 5, 8, 13, 21, ...]
All base cases must be covered!