Day 12: mat385

Today:

• Remember: 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 up until Friday.
  • for Test 1:
    • 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

• Return Homework 2.4/2.5:
  • #73 (2.4) and 6 (2.5)

• Overview of Chapters 1 and 2

• questions on 3.1 material or other older stuff?
  • a look back at the proof that the reals are larger than the naturals....
  • The Great Fraudini

• Section 5.1: Graphs and their representations