CSC 495/693: Software Foundations

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