COURSE SCHEDULE

Tentative schedule:

Week Date Topic Readings Posted Materials
1Aug. 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
2Sept. 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
3Sept. 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
4Sept. 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
5Sept. 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
6Oct. 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
7Oct. 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
8Oct. 15 Composition of Functions Section 4.5
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
9Oct. 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
10Oct. 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
11Nov. 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
12Nov. 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
13Nov. 19 Binomial Coefficients Section 11.2 Notes, exercises, answers, learning check, answers
Nov. 21 Thanksgiving - No Class
Nov. 23 Thanksgiving - No Class
14Nov. 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
15Dec. 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
FinalsDec. 13 Final Exam, Thursday 8:00am-10:00am (11:00am if needed)