Assignments

Full information on assignments is available in Canvas - the following is a summary.

• Week 1 - due Thursday, September 8: All of the "Basics" chapter
• Week 2 - due Thursday, September 15: All of "Induction," and "Lists" up to the Bags section
• Week 3 - due Thursday, September 22: The rest of the Lists chapter
• Week 4 - due Thursday, September 29: All of the "Poly" chapter
• Week 5 - due Thursday, October 6: All of the "Tactics" chapter
• Week 6 - due Thursday, October 13: "Logic" chapter, through the "Existential Quantification" section (stopping before "Programming with Propositions")
• Week 7 - due Thursday, October 20: Finish the "Logic" chapter
• Week 9 - due Thursday, November 3: First part of "IndProp" chapter (up to the regular expr case study)
• Week 10 - due Thursday, November 10: Second part of "IndProp" chapter (starting at regular expression case study) and all of the "Maps" chapter
• Week 11 - due Thursday, November 17: All of the "Imp" chapter
• Week 12 - due Friday, December 2 (two weeks of problems): All of the "Equiv" and "Hoare" chapters