Week of May 6
| Tuesday | Introduction, Propositional Logic, Truth tables |
| Wednesday | Truth tables examples, Truth trees |
| Thursday | Truth Trees, Logical equivalence, Consistency |
Week of May 13
| Monday | Arguments and their validity |
| Tuesday | Translation I |
| Wednesday | Translation II |
| Thursday | Formal Proofs I |
Week of May 20
| Monday | Formal Proofs, Examples | Tuesday | Formal Proofs II |
| Wednesday | Formal Proofs III |
| Thursday | Midterm I, no lab |
Week of May 27
| Monday | Memorial Day, No class |
| Tuesday | Predicate Logic I |
| Wednesday | Predicate Logic II |
| Thursday | Predicate Logic III |
Week of June 3
| Monday | Predicate Logic IV |
| Tuesday | Predicate Logic V |
| Wednesday | Mathematical Induction I |
| Thursday | Mathematical Induction II |
Week of June 10
| Monday | Relations I |
| Tuesday | Midterm II, no lab |
| Wednesday | Relations II |
| Thursday | Final Exam, no lab |