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.