Course Schedule
The schedule is subject to change as the semester progresses, but the expected schedule is:
| Date | Class | Due [Friday 6:29pm unless noted] |
| Tuesday, 23 Aug 16 | 1. Discrete Math, Proof | |
| Thursday, 25 Aug 16 | 2. Methods of Proof | Registration Survey |
| Tuesday, 30 Aug 16 | 3. Well Ordering Principle | |
| Thursday, 1 Sep 16 | 4. Logical Formulas | PS1 (MCS Ch 1, classes 1 and 2) |
| Tuesday, 6 Sep 16 | 5. CNF, Quantifiers, and Proofs | |
| Thursday, 8 Sep 16 | 6. 3-SAT | PS2 (MCS Ch 2-3.5, classes 3-4) |
| Tuesday, 13 Sep 16 | 7. Sets | |
| Thursday, 15 Sep 16 | 8. Functions and Relations | PS3 (MCS Ch 3, classes 5-6) |
| Tuesday, 20 Sep 16 | 9. Cardinality of Finite Sets | |
| Thursday, 22 Sep 16 | 10. Induction | PS4 (MCS Ch 4.1-4.4, lecture 7-8) |
| Tuesday, 27 Sep 16 | 11. Strong Induction | |
| Thursday, 29 Sep 16 | 12. Review | PS5 (MCS Ch 4.5, 5, classes 9-10) |
| Tuesday, 4 Oct 16 | Reading Days | |
| Thursday, 6 Oct 16 | Exam 1 (in class) | |
| Tuesday, 11 Oct 16 | 13. State Machines | |
| Thursday, 13 Oct 16 | 14. Invariant Principle | |
| Tuesday, 18 Oct 16 | 15. Stable Matching | |
| Thursday, 20 Oct 16 | No Class | PS6 (MCS Ch 6, class 13-14) |
| Tuesday, 25 Oct 16 | 16. Recursive Data Types | |
| Thursday, 27 Oct 16 | 17. Structural Induction | PS7 (MCS Ch 6.3, class 15) |
| Tuesday, 1 Nov 16 | 18. Infinite Sets | |
| Thursday, 3 Nov 16 | 19. Uncountable Sets | PS8 (MCS Ch 7, class 16-17) |
| Tuesday, 8 Nov 16 | 20. Elections, Review | |
| Thursday, 10 Nov 16 | Exam 2 (in class) - covers through PS8 | |
| Tuesday, 15 Nov 16 | 21. Infinite Infinities | |
| Thursday, 17 Nov 16 | 22. On Uncomputable Numbers | |
| Tuesday, 22 Nov 16 | 23. Universal Machines | PS9 (MCS Ch 8, classes 19-22) (due 6:29pm Wednesday, 23 Nov) |
| Thursday, 24 Nov 16 | Thanksgiving Break | |
| Tuesday, 29 Nov 16 | 24. Halting Problems | |
| Thursday, 1 Dec 16 | 25. Cryptography | |
| Tuesday, 6 Dec 16 | 26. Wrap-Up | PSΩ (Due 4/6 December) |
| Saturday, 10 Dec 16 | Final Exam (9am-noon) | |