Day 3: mat385

Last time: section 1.2 (propositional logic) Next time: discuss section 1.4 (predicate logic); homework 1.2 due.

Today:

Links:


Website maintained by Andy Long. Comments appreciated.