Day 6: mat385

Last time: section 1.4

Next time: discuss section 2.2

Today:

Hand in homework 1.3; 1.4 due next time
Section 1.4 (pdf): Predicate logic (finish)
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....

Website maintained by Andy Long. Comments appreciated.