Recursion Tables
1. From Truth Tables to Recursion Tables
Stefan Kober
1. From Truth Tables to Recursion Tables
2. Truth Tables
Stefan Kober
2. Truth Tables
3. Types, Constructors, and Destructors
Stefan Kober
3. Types, Constructors, and Destructors
4. A First Example: Equality on ℕ
Stefan Kober
4. A First Example: Equality on ℕ
5. More Examples: Addition and Multiplication
Stefan Kober
5. More Examples: Addition and Multiplication
6. From Recursion to Induction and Algorithms
Stefan Kober
6. From Recursion to Induction and Algorithms
7. Visibility and Conviction
Stefan Kober
7. Visibility and Conviction