Week of May 7
Tuesday | Introduction, Propositional Logic, Truth tables |
Wednesday | Truth tables examples, Truth trees |
Thursday | Truth Trees, Logical equivalence, Consistency |
Week of May 14
Monday | Arguments and their validity |
Tuesday | Translation I |
Wednesday | Translation II |
Thursday | Formal Proofs I |
Week of May 21
Monday | Formal Proofs, Examples | Tuesday | Formal Proofs II |
Wednesday | Formal Proofs III |
Thursday | Midterm I, no lab |
Week of May 28
Monday | Memorial Day, No class |
Tuesday | Predicate Logic I |
Wednesday | Predicate Logic II |
Thursday | Predicate Logic III |
Week of June 4
Monday | Predicate Logic IV |
Tuesday | Predicate Logic V |
Wednesday | Mathematical Induction I |
Thursday | Mathematical Induction II |
Week of June 11
Monday | Relations I |
Tuesday | Midterm II, no lab |
Wednesday | Relations II |
Thursday | Final Exam, no lab |