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 |