**Week of January 9**

Tuesday | Introduction, Propositional Logic, Truth tables Expectations: 1. You should know how to construct the truth table for any proposition, 2. You should know how to check for satisfiability using truth tables. |

Thursday | Truth table examples, Tautology, Truth trees Expectations: 1. You should know how to check for tautology using truth tables, 2. You should know how to grow the truth tree for any proposition, 3. You should know how to check for satisfiability using truth trees. |

**Week of January 16**

Tuesday | Truth Tree examples, logical equivalence Expectations: 1. You should know how to check for tautology using truth trees, 2. You should know how to check for logical equivalence using tables or trees, 3. You should know the basic logical equivalences, called logical laws in your handout (page 25). |

Thursday | Consistency, validity Expectations: 1. You should know how to check for consistency, 2. You should know how to check for validity of arguments. |

**Week of January 23**

Tuesday | Translation 1. You should know how to translate from English to the language of propositional logic and do validity and consistency checks. |

Thursday | Predicate Logic I 1. You should know how to read a predicate logic formula and evaluate its truth value. |

**Week of January 30**

Tuesday | Predicate Logic II 1. You should know how to read a predicate logic formula and evaluate its truth value. |

Thursday | Predicate Logic III (translation) 1. You should know how to translate from English to the language of predicate logic. 2. You should know the basic logical equivalences. |

**Week of February 6**

Tuesday | Proofs in Mathematics I 1. You should know how to do direct and contrapositive proofs. |

Thursday | Proofs in Mathematics II 1. You should know how to do proof by contradiction and proof by cases. |

**Week of February 13 **

Tuesday | Sets and functions I 1. You should know the basics of set theory. |

Thursday | Sets and functions II 1. You should know the power set and Cartesian product constructions. |

**Week of February 20**

Tuesday | Midterm I |

Thursday | Sets and functions III 1. You should know the set operations and how to prove set inclusions and set identites. |

**Week of February 27**

Tuesday | Sets and functions IV 1. You should know the definition of a function, domain, codomain, range etc. |

Thursday | Bijections 1. You should know the definition of function composition, inverse of a function, the notion of function invertibility, injections, surjections and bijections. |

**Week of March 5**

Tuesday | Induction I 1. You should know the principle of mathematical induction and its uses. |

Thursday | Induction II 1. You should know how to prove inequalities using mathematical induction. |

**Week of March 12**

Tuesday | Spring recess. NO CLASS! |

Thursday | Spring recess. NO CLASS! |

**Week of March 19**

Tuesday | Induction III 1. You should know the principle of strong mathematical induction and its uses. |

Thursday | Induction IV 1. You should know how to define a function or a set recursively. 2. You should know how to use structural induction to reason about recursively defined mathematical objects. |

**Week of March 26**

Tuesday | Counting I 1. You should know how to use the multiplication principle. 2. You should know how to use the addition principle. |

Thursday | Counting II |

**Week of April 2**

Tuesday | Review for Mid II We solved some induction and recursion problems. |

Thursday | Midterm II |

**Week of April 9**

Tuesday | Counting III |

Thursday | Counting IV |

**Week of April 16**

Tuesday | Relations I |

Thursday | Relations II |

**Week of April 23**

Tuesday | Relations III |

Thursday | Review for Final Exam |