Day 6: mat385

Today:

• Return homework 1.3
  • 13/18(a,b,c,d)
  • 20/26(a,b)

• Hand in homework 1.4

• Last time: Section 1.5 (pdf): Prolog

• Today: Section 2.1 (pdf): Proof Techniques

Links:

• A Simpler Proof of the Four Color Theorem?
• An email exchange concerning the temporary hypothesis from a student of days gone by....
• Searching...