Mini projects

• Mini project about summations that may start above zero
  • Resources
  • The starting point: summations that start at zero
  • The point: summations that may start above zero
  • Task 1: Simulating summations that may start above zero as instances of summations that start at zero
  • Task 2: Tailoring an induction principle
  • Task 3: Revisiting the simulation using the tailored induction principle
  • Task 4: Summing binomial coefficients
  • Task 5: The hockey-stick identity
  • Task 6: Summing one up
  • Task 7: Summing up and up
  • Task 8: A summation function that starts at one
  • Task 9: Properties of the summation function that starts at one
  • Task 10: A closing property of the summation function that starts at one
  • Resources
  • Version
• Mini project about fourth-order induction
  • Resources
  • Task 0
  • Task 1
  • Task 2
  • Task 3
  • Task 4
  • Task 5
  • Resources
  • Version
• Mini project about yet another mystery function
  • Resources
  • Task 1
  • Task 2
  • Task 3
  • Partial solution for Task 3a
  • Task 4
  • Food for thought
  • Resources
  • Version