Discrete Mathematics

Course Schedule

The schedule is subject to change as the semester progresses, but the expected schedule is:

DateClassDue [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 1611. Strong Induction
Thursday, 29 Sep 1612. ReviewPS5 (MCS Ch 4.5, 5, classes 9-10)
Tuesday, 4 Oct 16Reading Days
Thursday, 6 Oct 16Exam 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 1618. Infinite Sets
Thursday, 3 Nov 1619. Uncountable Sets PS8 (MCS Ch 7, class 16-17)
Tuesday, 8 Nov 1620. 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 MachinesPS9 (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-UpPSΩ (Due 4/6 December)
Saturday, 10 Dec 16Final Exam (9am-noon)