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 January 27, 2026
• • Due January 30, 2026 10:00pm

  Homework 2. Program Reasoning

• • Assigned February 3, 2026
• • Due February 6, 2026 10:00pm

  Homework 3. Induction

• • Assigned February 10, 2026
• • Due February 13, 2026 10:00pm

  Homework 4. Sets

• • Assigned February 17, 2026
• • Due February 20, 2026 10:00pm

  Homework 5. Equivalences

• • Assigned February 24, 2026
• • Due February 27, 2026 10:00pm

  Homework 6. Flow

• • Assigned March 24, 2026
• • Due March 27, 2026 10:00pm

  Homework 7. Trees

• • Assigned March 31, 2026
• • Due April 3, 2026 10:00pm

  Homework 8. Makeup

• • Assigned April 7, 2026
• • Due April 10, 2026 10:00pm

  Homework 9 Counting

• • Assigned April 14, 2026
• • Due April 17, 2026 10:00pm

  Homework 10 Recurrences

• • Assigned April 21, 2026
• • Due April 24, 2026 10:00pm