Day 12: mat385

Today:

• Reminder: test Wednesday over chapters 1 and 2.
  • Feel free to call me at home if you have any questions: 859-781-3916.
  • You may hand in homework 3.1 Monday
  • You may have a 3x5 (inches) card with formulas, etc.
  • Here are some old tests:
    • 2005 Spring Test 1 (2005 Spring Test 1 key)
    • 2003 Fall Test 1 (2003 Fall Test 1 key)
    • This was a one-hour exam (course took place 3 days per week): 2002 Fall Test 1 (2002 Fall Test 1 key)
    • 2002 Spring Test 1 (2002 Spring Test 1 key) Note: we did proof of correctness in this course; we don't!
    • Trace of Prolog example from Spring 2002 test 1

  • Overview of Chapters 1 and 2

• Return Homework 2.4/2.5:
  • #62 (2.4) and 14 (2.5)
  • - careful!

• questions on 3.1 material or other older stuff?
  • a look back at the proof that the reals are larger than the naturals....
  • That the power set is always larger than the set itself....
  • One last bit of fun with sets: The Great Fraudini

• Section 5.1: Graphs and their representations