3/4 Section 1.3 Logical Equivalences and Circuit Simplification – 5/6 Section 1.4-1.5 Predicates and Quantifiers – Start Section 1.6 7/8 Take Test #1 on Sections 1.1 1.5 – Section 1.6 Rules of Inference – 9/10 Section 1.7 Start Proof Techniques – Section 1.7 1.8 Proof Techniques – – 11/12 Section 2.1 - Sets 13/14 Section 2.2 Set Operations – Start Section 2.3 - Functions 15/16 Take Test #2 On Sections 1.6 2.2 – 17/18 Sections 2.3 2.4 Functions and Sequences – – 19/20 Section 5.1 - Induction 21/22 Sections 6.1, 6.2, 6.3 - Counting Section 6.5 - Counting 23/24 Take Test #3 On Sections 2.3 6.3 – 25/26 Sections 10.1-10.3 Graph Theory – 27/28 Sections 10.4 10.6 Graph Theory – – 29/30 Review/wrap-up & Cumulative Final Exam
3/4 Section 1.3 – Logical Equivalences and Circuit Simplification 5/6 Section 1.4-1.5 – Predicates and Quantifiers 7/8 Start Section 1.6 Take Test #1 on Sections 1.1 – 1.5 9/10 Section 1.6 – Rules of Inference Section 1.7 – Start Proof Techniques 11/12 Section 1.7 – 1.8 – Proof Techniques Section 2.1 - Sets 13/14 Section 2.2 – Set Operations 15/16 Start Section 2.3 - Functions Take Test #2 On Sections 1.6 – 2.2 17/18 Sections 2.3 – 2.4 – Functions and Sequences 19/20 Section 5.1 - Induction 21/22 Sections 6.1, 6.2, 6.3 - Counting 23/24 Section 6.5 - Counting Take Test #3 On Sections 2.3 – 6.3 25/26 Sections 10.1-10.3 – Graph Theory 27/28 Sections 10.4 – 10.6 – Graph Theory 29/30 Review/wrap-up & Cumulative Final Exam