# 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) |