**Week beginning** | **Section** | **Notes** |

01/25 | 1.1 Introduction to Sets 1.2 Cartesian Products | First week of classes |

02/01 | 1.3 Subsets 1.4 Power Sets 1.5 Union, Intersection and Difference 1.6 Complements | |

02/08 | 1.7 Venn Diagrams 1.8 Indexed Sets 1.9 Sets which are Number Systems | |

02/15 | 2.1 Statements 2.2 And, Or, Not 2.3 Conditional Statements 2.4 Biconditional Statements | |

02/22 | 2.5 Truth Tables for Statements 2.6 Logical equivalence 2.7 Quantifiers 2.8 More on Conditional Statements 2.9 Translating English to Symbolic Logic | |

02/29 | 2.10 Negating Statements 2.11 Logical Inference 4.1 Theorems 4.2 Definitions | |

03/07 | 4.3 Direct Proof 4.4 Using Cases 4.5 Treating Similar Cases | **Midterm I in class: 03/10/16** |

03/14 | 5.1 Contrapositive Proof 5.2 Congruence of Integers | |

03/21 | *Spring Break* | Have a good one! |

03/28 | 6.1 Proof by Contradiction 6.2 Proving Conditional Statements by Contradiction | |

04/04 | 7.1 Proving Biconditional Statements 7.3 Existence and Uniqueness Proofs 7.4 Constructive v Non-Constructive Proofs 8.1 How to Prove a∈A 8.2 How to Prove A⊆B 8.3 How to Prove A=B | |

04/11 | 9 Disproof 10 Mathematical Induction |

04/18 | 10 Mathematical Induction | **Midterm II in class: 04/19/16** |

04/25 | 11 Relations 12 Functions 13 Cardinality | 13 will be touched on very briefly, and will likely not be examined |