| Wk |
Day |
Date |
Topic | Resources | Events |
|
| 1 | Mon | Jan 12 | Course Introduction Problem Solving | AIDM 0
Assignment 0 | |
|
|
| Wed | Jan 14 | Propositional Logic | AIDM 1.1 | |
|
|
| Fri | Jan 16 | Propositional Equivalences | AIDM 1.2 | Quiz 1 (1.1) |
|
| 2 | Mon | Jan 19 | Snow Day | | No Class! |
|
|
| Wed | Jan 21 | Predicates and Quantifiers | AIDM 1.3 | HW 1 due |
|
|
| Fri | Jan 23 | Normal Forms | AIDM 1.4
email me questions
DNF Explanation (Supplemental notes on DNF/CNF) | No Class
(Too cold!) |
|
| 3 | Mon | Jan 26 | Direct Proofs, Implications | AIDM 2.1-2.2 | HW 2 due (delayed due to cold day)
Quiz 2 (1.3-1.4) |
|
|
| Wed | Jan 28 | Proof by Contradiction
Proof by Contraposition | AIDM 2.3-2.4 | HW 3 due |
|
|
| Fri | Jan 30 | Other Proof Techniques | AIDM 2.5-2.8 | Quiz 3 (2.1-2.4) |
|
| 4 | Mon | Feb 02 | Review | | HW 4 due |
|
|
| Wed | Feb 04 | Chapters 1-2 | Exam 1 Study Guide | Exam 1 |
|
|
| Fri | Feb 06 | Sets | AIDM 3.1-3.1.2 | HW 5 due |
|
| 5 | Mon | Feb 09 | Sets: more proofs | AIDM 3.1.3
Set Containment Proof Supplement | HW 6 due |
|
|
| Wed | Feb 11 | Mod, GCD, Rounding | AIDM 3.2 | Quiz 4 (3.1) |
|
|
| Fri | Feb 13 | Functions | AIDM 3.3 | HW 7 due |
|
| 6 | Mon | Feb 16 | Winter Recess | | No Class |
|
|
| Wed | Feb 18 | Functions: More proofs | AIDM 3.3.2 | HW 8 due |
|
|
| Fri | Feb 20 | Equivalence Relations | AIDM 3.4 | Quiz 5 (3.2-3.3) |
|
| 7 | Mon | Feb 23 | Sequences | AIDM 4.1 | HW 9 due |
|
|
| Wed | Feb 25 | Sums and Products | AIDM 4.2 | HW 10 due |
|
|
| Fri | Feb 27 | Matrices | AIDM 4.3-4.3.2 | Quiz 6 (4.2) |
|
| 8 | Mon | Mar 02 | Review/Catch Up | | HW 11 due |
|
|
| Wed | Mar 04 | Chapters 1-4
More emphasis on 3-4 | Exam 2 Study Guide | Exam 2 |
|
|
| Fri | Mar 06 | Good Friday Replacement | | No Class |
|
| 9 | Mon | Mar 09 | Mathematical Induction | AIDM 5.3-5.3.3 | |
|
|
| Wed | Mar 11 | Strong Induction | AIDM 5.3.4-5.3.6 | HW 12 due |
|
|
| Fri | Mar 13 | More Induction
Structural Induction | | HW 13 due
Quiz 7 (5.3) |
|
| 10 | Mon | Mar 16 | Recursion | AIDM 4.1 Section 5.2 on Recursion | HW 14 due |
|
|
| Wed | Mar 18 | Solving Recurrence Relations: Substitution | AIDM 5.4-5.4.1 | HW 15 due |
|
|
| Fri | Mar 20 | Solving Recurrence Relations: Iteration | AIDM 5.4.2 | Quiz 8 (5.4.1) |
|
| 11 | Mon | Mar 23 | Solving Recurrence Relations: More Iteration and Substitution | | HW 16 due |
|
|
| Wed | Mar 25 | Solving Recurrence Relations: Linear Recurrences | AIDM 5.4.4
(skip 5.4.3) | Quiz 9 (5.4.2) |
|
|
| Fri | Mar 27 | Spring Break | | No Class |
|
|
Spring Break Week |
|
| 12 | Mon | Apr 06 | Easter Monday | | No Class |
|
|
| Wed | Apr 08 | Review/Catch up? | | HW 17 due |
|
|
| Fri | Apr 10 | Chapters 1-5
Recursion
More emphasis on 5 | Exam 3 Study Guide | Exam 3 |
|
| 13 | Mon | Apr 13 | Sum and Product Rules Pigeonhole Principle | AIDM 6.1-6.2 | |
|
|
| Wed | Apr 15 | Permutations and Combinations | AIDM 6.3 | HW 18 due |
|
|
| Fri | Apr 17 | Binomial Theorem | AIDM 6.4 | Quiz 10 (6.3) |
|
| 14 | Mon | Apr 20 | Inclusion-Exclusion | AIDM 6.5 | HW 19 due |
|
|
| Wed | Apr 22 | Graphs | AIDM 7-7.3 | HW 20 due |
|
|
| Fri | Apr 24 | Handshaking Lemma Graph Representation | AIDM 7.4-7.5 | Quiz 11 (6.4-7.3) |
|
| 15 | Mon | Apr 27 | Graph Problems | AIDM 7.6
Prim's Algorithm Demo
Kruskal's Algorithm Demo | HW 21 due |
|
|
| Wed | Apr 29 | Graph Algorithms | N/A | |
|
|
| Fri | May 01 | Review | | HW 22 due |
|
| Ex | Thu | May 07 | Chapters 1-7 | | Final Exam 9-11am |