Week of January 9
| Tuesday | Introduction, Propositional Logic, Truth tables |
| Thursday | Truth tables examples, Truth trees |
Week of January 16
| Tuesday | Truth Tree examples |
| Thursday | Truth Trees, Logical equivalence |
Week of January 23
| Tuesday | Consistency and Arguments |
| Thursday | Validity |
Week of January 30
| Tuesday | Translation I |
| Thursday | Translation II |
Week of February 6
| Tuesday | Formal Proofs I | Thursday | Formal Proofs II |
Week of February 13
| Tuesday | Formal Proofs III |
| Thursday | Formal Proofs IV |
Week of February 20
| Tuesday | Midterm I |
| Thursday | Set Theory I |
Week of February 27
| Tuesday | Set Theory II |
| Thursday | Predicate Logic I |
Week of March 5
| Tuesday | Predicate Logic II |
| Thursday | Predicate Logic III |
Week of March 12
| Tuesday | Spring recess. NO CLASS! |
| Thursday | Spring recess. NO CLASS! |
Week of March 19
| Tuesday | Predicate Logic IV |
| Thursday | Predicate Logic V |
Week of March 26
| Tuesday | Predicate Logic VI |
| Thursday | Mathematical Induction I |
Week of April 2
| Tuesday | Mathematical Induction II |
| Thursday | Midterm II |
Week of April 9
| Tuesday | Relations I |
| Thursday | Relations II |
Week of April 16
| Tuesday | Relations III |
| Thursday | Graph Theory I |
Week of April 23
| Tuesday | Graph Theory II |
| Thursday | Review for Final Exam |