Day 4: mat385

Last time: section 1.3

Next time: discuss section 1.5, using Prolog

Today:

Hand back homework 1.1.
- I graded #3 and 10
- Homework is graded out of 4 points
- Make sure that you check your answers in the back of the book when possible! That's legit....
Collect homework 1.2.
Continuing with section 1.3: Quantifiers, Predicates, and Validity
Questions on problems from section 1.3 homework?
Section 1.4: Predicate logic

Website maintained by Andy Long. Comments appreciated.