Homepage | Syllabus | Schedule | Homework |
Note: Dates and topics are approximate and subject to change.
Date | Topics | Reading |
---|---|---|
Week 1 | ||
08/28 |
Introduction Propositional Logic Cancelled due to flooding |
1.1 - 1.2 |
08/30 | Propositional Logic | 1.1 - 1.3 |
09/01 |
Predicate Logic HW 1 assigned |
1.4 - 1.5 |
Week 2 | ||
09/04 |
Rules of Inference Fun Problem 1 |
1.6 |
09/06 |
Rules of Inference Proofs |
1.6 - 1.8 |
09/08 |
Proofs Quiz 1 HW 2 assigned HW 1 due |
1.1 - 1.5, 1.7 - 1.8 |
Week 3 | ||
09/11 |
Sets Fun Problem 2 |
1.8, 2.1 |
09/13 | Set Operations | 2.1 - 2.2 |
09/15 |
Functions Quiz 2 HW 3 assigned HW 2 due |
1.6 - 1.8, 2.1-2.3 |
Week 4 | ||
09/18 |
Review of Quiz 1 Fun Problem 3 |
1.1 - 1.5 |
09/20 | Review of Quiz 2 | 1.6 - 1.8 |
09/22 |
Quiz 3 HW 4 assigned HW 3 due |
2.1 - 2.3 |
Week 5 | ||
09/25 |
Algorithms Fun Problem 4 |
3.1 |
09/27 | The Growth of Functions | 3.2 |
09/29 |
Quiz 4 HW 5 assigned HW 4 due |
1.1 - 2.3 |
Week 6 | ||
10/02 |
Complexity of Algorithms Fun Problem 5 |
3.3 |
10/04 | Analysis of Algorithms | 3.1 - 3.3 |
10/06 |
Exam 1-1 HW 6 assigned HW 5 due |
1.1 - 1.8, 2.1 - 2.3, 3.1 - 3.2 |
Week 7 | ||
10/09 | Exam 1-2 | 1.1 - 1.8, 2.1 - 2.3, 3.1 - 3.2 |
10/11 | Sequences and Sums | 2.4 |
10/13 |
Quiz 5 HW 7 assigned HW 6 due |
3.1 - 3.3 |
Week 8 | ||
10/16 |
Mathematical Induction Fun Problem 6 |
5.1 |
10/18 | Mathematical Induction | 5.1 |
10/20 |
Quiz 6 HW 8 assigned HW 7 due |
2.4, 3.1 - 3.3 |
Week 9 | ||
10/23 |
Strong Induction Fun Problem 7 |
5.2 |
10/25 | Strong Induction | 5.2 |
10/27 |
Quiz 7 HW 9 assigned HW 8 due |
5.1 |
Week 10 | ||
10/30 |
Recursive Definitions and Structural Induction Fun Problem 8 |
5.3 |
11/01 | Recursive Definitions and Structural Induction | 5.3 |
11/03 |
Quiz 8 HW 10 assigned HW 9 due |
5.2 |
Week 11 | ||
11/06 |
Recursive Algorithms Fun Problem 9 |
5.4 |
11/08 | Recursive Algorithms | 5.4 |
11/10 |
Quiz 9 HW 11 assigned HW 10 due |
5.3 |
Week 12 | ||
11/13 |
The Basics of Counting The Pigeonhole Principle Fun Problem 10 |
6.1, 6.2 |
11/15 | Permutations and Combinations | 6.3 - 6.5 |
11/17 |
Exam 2-1
HW 11 due |
2.4, 3.1 - 3.3, 5.1 - 5.4 |
Week 13 | ||
11/20 | Exam 2-2 | 2.4, 3.1 - 3.3, 5.1 - 5.4 |
11/22 | Reading Day: No Class | Alice's Restaurant |
11/24 | Thanksgiving Break: No Class | SMBC #2425 |
Week 14 | ||
11/27 |
Models of Computation Fun Problem 11 |
13.1 |
11/29 | Finite State Machines | 13.2, 13.3 |
12/01 |
Quiz 10 HW 12 assigned |
6.1 - 6.5 |
Week 15 | ||
12/04 |
Turing Machines Fun Problem 12 |
13.5 |
12/06 | Q&A Review Day | 13.1 - 13.3 |
12/08 |
No Class HW 12 due |
The Final Countdown |
Week 16 | ||
12/12 |
Final Exam: [501] 10:30am - 12:30pm [503] 3:30pm - 5:30pm |
1, 2, 3, 5, 6, 13 |