Week | Topic | Reading |
1 - 8/28 (2 classes) | Introduction | Ch. 1.1-1.2, (1.3) |
2 - 9/4 (2 classes) | Logic and Sets; HW0 | Ch. 1.3-1.5 |
3 - 9/9 | Sequences and Summations; HW1 | Ch. 1.6-1.8 |
4 - 9/16 | Algorithms; HW2 | Ch. 2.1-2.3 |
5 - 9/23 | Integers and Matrices; HW3 | Ch. 2.4-2.6 |
6 - 9/30 | EXAM I (Monday 9/30);
Proofs and Induction |
Ch. 3.1-3.2 |
7 - 10/7 | Recursion and Correctness; HW4 | Ch. 3.3-3.5 |
8 - 10/14 | Counting; HW5 | Ch. 4.1-4.3; Dr. desJardins away Wed/Fri - guest lecturer Alan Sherman Wed, no class Friday |
9 - 10/21 | Probability and Permutations; HW6 | Ch. 4.3-4.5 |
10 - 10/28 | Advanced Counting; HW7 | Ch. 5.1, 5.3; Dr. desJardins away - guest lecturer Matt Gaston; feedback session Wednesday |
11 - 11/4 | Relations; HW8 | Ch. 4.5-4.6, 5.5-5.6 |
12 - 11/11 | EXAM II (Friday 11/15 **NOTE DATE CHANGE);
Relations II |
Ch. 6.1-6.4; Dr. desJardins away Wed/Fri - guest lecturer/proctor Dennis Frey |
13 - 11/18 | Graphs; HW9 | Ch. 6.5, 7.1-7.5 |
14 - 11/24 (2 classes) | Finite-State Machines; HW10 | Ch. 10.1-10.2 |
15 - 12/2 | Turing Machines; HW11 | Ch. 10.3-10.5 |
16 - 12/9 (1 class) | TEST OF FUNDAMENTALS [Summary of topics] | |
Monday 12/16, 8-10 a.m. | FINAL EXAM [Proof handout(ps) and pdf] |