Day 6: mat385

Today:

• Announcements

  • A homework is due (section 1.3)
  • Your second homework (for section 1.2) is returned: graded
    • 8: Those leaves need raking!
    • 17 and 18: two proofs.
    • 24: Amusingly enough, many of you cited "cont" while trying to prove "cont" in Exercise 24....;)
  • Any questions about your first project? I've had one student email me for a username and password on the wiki....

• Last time: Section 1.4 (pdf): Predicate logic)
  • We need to do an example or two...
    • #34, p. 63
    • Another?

• Today: into chapter 2: section 2.1 highlights: Proof Techniques