Week  Date  Topic  Readings  Posted Materials 

1  Aug. 27  Course Overview, Propositions & Propositional Operators  Section 1.1 
Overview,
why study chosen topics,
in MSWord Notes, exercises, answers, learning check #1, answers 
Aug. 29  Compound Propositions & Conditional Statements  Sections 1.2 & 1.3  Notes, exercises, answers, learning check #2, answers  
Aug. 31  Logical Equivalence & Propositional Laws  Sections 1.4 & 1.5  Notes, exercises, answers, learning check #3, answers  
2  Sept. 3  Labor Day  No Class  
Sept. 5  Predicates & Quantifiers  Sections 1.6 & 1.7  Notes, exercises, answers, learning check #4, answers  
Sept. 7  De Morgan's Quantified Statements & Nesting Quantifiers  Sections 1.8 & 1.9  Notes, exercises, answers, learning check #5, answers  
3  Sept. 10  Nested Quantifiers & Logical Reasoning  Sections 1.10 & 1.11  Notes, exercises, answers, learning check #6, answers 
Sept. 12  Advisory Board Meeting  No Class  
Sept. 14  Inference Rules with Propositions  Section 1.12  Notes, exercises, answers  
4  Sept. 17  Inference Rules with Quantifiers  Section 1.13  Notes, exercises, answers, learning check #7, answers 
Sept. 19  Introduction to Proofs  Section 2.1  Notes, exercises, answers, learning check #9, answers  
Sept. 21  Direct Proofs  Section 2.2  Notes, exercises, answers, learning check #10, answers  
5  Sept. 24  Proof by Contrapositive & Proof by Contradiction  Sections 2.3 & 2.4  Video 
Sept. 26  Exam 1  Review, 2017 exam, answers, 2015 exam, answers, 2014 exam, answers, exam, answers  
Sept. 28  Proof by Cases  Section 2.5  
6  Oct. 1  Practice Writing Proofs  Notes, class proofs, exercises, answers, learning check #11, answers  
Oct. 3  Sets, Subsets, Sets of Sets, Union & Intersection  Sections 3.1, 3.2 & 3.3  Notes, exercises, answers, learning check #12, answers  
Oct. 5  More Set Operations & Set Identifies  Sections 3.4 & 3.5  Notes  
7  Oct. 8  Cartesian Products & Partitions  Sections 3.6 & 3.7  Notes, exercises, answers, learning check #13, answers 
Oct. 10  Function Defintions & Floor & Ceiling Functions  Sections 4.1 & 4.2  Notes, exercises, answers, learning check #14, answers  
Oct. 12  Properties of Functions & Inverse of Functions  Sections 4.3 & 4.4  Notes, exercises, answers, learning check #15, answers  
8  Oct. 15 



Oct. 17  Graphs Introduction & Representation  Sections 13.1 & 13.2  Notes, exercises, answers, learning check #16, answers  
Oct. 19  Sequences, Recurrence Relations & Summations  Section 8.1, 8.2 & 8.3  Notes, exercises, answers, learning check #17, answers  
9  Oct. 22  Mathematical Induction & Inductive Proofs  Sections 8.4 & 8.5  Notes, exercises, answers, learning check #18, answers, whole proof for learning check, more exercises, answers, video 
Oct. 24  Strong Induction  Section 8.6  Notes, exercises, answers, learning check, answers, video 1, video 2  
Oct. 26  Recursive Definitions  Section 8.8  Notes, exercises, answers  
10  Oct. 29  Review for Exam  
Oct. 31  Exam 2  Review, 2017 exam, answers, 2015 exam, answers, 2014 exam, part 1 answers, part 2 answers, exam, answers  
Nov. 2  Go over Exam  
11  Nov. 5  Structural Induction  Section 8.9  Notes, exercises, answers, learning check, answers, video 
Nov. 7  Recursive Algorithms  Section 8.10  Notes, exercises, answers  
Nov. 9  Using Induction to Prove Correctness of Recrusive Algorithms  Section 8.11  Notes, exercises, answers learning check, answers  
12  Nov. 12  Vetran's Day  no class  
Nov. 14  Sum Rule, Subtraction Principle & Product Rule (Counting Functions)  Sections 10.1 & 10.3  Notes, exercises, answers, learning check, answers  
Nov. 16  Counting Permutations & Combinations (Subsets)  Sections 10.4, 10.5 & 10.6  Notes, exercises, answers, learning check, answers  
13  Nov. 19  Binomial Coefficients  Section 11.2  Notes, exercises, answers, learning check, answers 
Nov. 21  Thanksgiving  No Class  
Nov. 23  Thanksgiving  No Class  
14  Nov. 26  Pigeonhole Principle  Section 11.3  Notes, exercises, answers, learning check, answers 
Nov. 28  Binary Relations, Properties of Relations, Directed Graphs & Composition of Relations  Sections 6.1, 6.2, 6.3, & 6.4  Notes, exercises, answers, learning check, answers  
Nov. 30  Transitive Closure & Equivalence Relations  Sections 6.5 & 6.9  Notes, exercises, answers, learning check, answers, video  
15  Dec. 3  Paths, Cycles & Graph Connectivity  Section 13.4 & 13.5  Notes, exercises, answers, learning check, answers 
Dec. 5  Introduction to Trees, Application Examples & Properties of Trees  Section 14.1, 14.2 & 14.3  Notes, exercises, answers  
Dec. 7  Review for Exam  Review, 2017 exam, answers, 2015 exam, answers, 2014 exam, answers  
Finals  Dec. 13  Final Exam, Thursday 8:00am10:00am (11:00am if needed) 