Day 8: mat385

Last time: section 1.3/1.4

Next time: more on section 2.1

Today:

Announcements
- Who got lunch last Friday? What do you think? Should we have more of those?
- Please hand in section 1.3 homework
- Reminder: we've agreed to push back our first exam because of the snow day: it's now scheduled for the 13th of February. I may end up pushing back the other two, as well. The has been adjusted.
Questions on problems from the section 1.3?
We'll finish up section 1.4: Predicate Logic
It's about time for your first project.
Then we'll start section 2.1: Proof Techniques

Website maintained by Andy Long. Comments appreciated.