Lecture Notes, Week 12

• Curry and uncurry
  • Resources
  • Version
• Induction principles
  • Resources
  • First-order structural induction over Peano numbers (a.k.a. mathematical induction)
  • Exercise 01
  • Hint about Exercise 01
  • Second-order structural induction over Peano numbers
  • A first application of nat_ind2: the Fibonacci function
  • A second application of nat_ind2: the evenness predicate
  • Third-order structural induction over Peano numbers
  • Exercise 02
  • Exercise 03
  • Exercise 04
  • Hint about Exercise 04
  • Exercise 05
  • Hint about Exercise 06
  • Exercise 07
  • Exercise 08
  • Hint about Exercise 08
  • Exercise 09
  • Hint about Exercise 09
  • Resources
  • Version
• Induction principles, continued
  • Resources
  • Course-of-values induction
  • Exercise 10
  • Exercise 11
  • Exercise 12
  • Strong induction
  • Yet another mystery function
  • Exercise 13
  • Exercise 14
  • Exercise 15
  • Exercise 16
  • Food for thought
  • Exercise 17
  • Exercise 18
  • Exercise 19
  • Resources
  • Version
• Mutual induction and recursion
  • Resources
  • Evenness and oddness, together
  • Exercise 20
  • Pre-ternary, ternary, or post-ternary?
  • Exercise 21
  • Resources
  • Version
• Exercises for Week 12
  • Exercise 00
  • Mandatory exercises
  • Version
• Index of concepts for Week 12
  • Version