Course Schedule
Class meets TTh 4 - 6:30 PM in CoDa B80, with recordings posted to Canvas for later asynchronous viewing. This is a preview of our planned schedule. We will update this schedule as we go. This page should faithfully describe the past, but it won't always accurately predict the future.
- 1
Jun 23
Set Theory and Introduction to ProofsJun 25
More Applications of Proofs, plus Negations-
Assignment 0.
due Jun 26
- 2
Jun 30
Propositional Logic and Existential & Universal QuantifiersJul 2
More Propositional Logic and Functions-
Assignment 1.
due Jul 2
Exams
- Midterm: Tuesday, July 21, 3:00 – 6:00 PM
- Final Exam: Saturday, August 15, 3:30 – 6:30 PM