Day 9: mat385

• Announcements
  • Homework 1.4 will be due next time.
  • The return of section 1.3 homework:
    • #3
    • #5(d, e)

  • Last time: I brought up the first project.
    • Do you have any questions?
    • I've only heard from one student -- good news is that the system is working! You email me, and I'll set you up.

• Questions on problems from the section 1.4?

• Let's get serious section 2.1: Proof Techniques

Links:

• A really interesting history of the Four Color Problem
• My friend Sam's Story: proof by exhaustion (an application in deductive reasoning)