Homework

In addition to your collaborative work on labs for this course, you will also need to complete individual homework assignments. These assignments will build on the concepts you read about and practice during in-class labs. Assignments may use concepts that have not been discussed by the time the homework is released, so you may need to revisit the later parts of some assignments closer to the deadline.

Please review the course syllabus for policies and grading information. If you have questions about a policy you are welcome to ask about them individually or in class.

  Homework 1. Mathematical Logic
    • Assigned September 8, 2026
    • Due September 11, 2026 10:00pm
  Homework 3. Induction
    • Assigned September 22, 2026
    • Due September 25, 2026 10:00pm
  Homework 4. Sets
    • Assigned September 29, 2026
    • Due October 2, 2026 10:00pm
  Homework 5. Equivalences
    • Assigned October 6, 2026
    • Due October 9, 2026 10:00pm
  Homework 6. Flow
    • Assigned November 3, 2026
    • Due November 6, 2026 10:00pm
  Homework 7. Trees
    • Assigned November 10, 2026
    • Due November 13, 2026 10:00pm
  Homework 8. Makeup
    • Assigned November 17, 2026
    • Due November 20, 2026 10:00pm
  Homework 9 Counting
    • Assigned November 24, 2026
    • Due November 27, 2026 10:00pm
  Homework 10 Recurrences
    • Assigned December 1, 2026
    • Due December 4, 2026 10:00pm