Day 8: mat385

Today:

• Return homework 1.5 (graded problems 5 and 7)
  • #5: fox
  • #7: herbivore(x) if eat(x,y) and plant(y)

• Hand in homework 2.1.

• Last time: Section 2.2: Induction

• Problems from section 2.2 homework?
  • requests?

• Today: Section 2.4: Recursion

Links:

• Mother Goose Math
• Sample of two different definitions of ancestor-of
• UNIX shell file recurse
• Seektime paper cited in book, Example 46.