HW2

Part 1 due: Wednesday, April 8th by 11pm
Part 2 due: Monday, April 13th by 11pm

Overview

In this assignment, you will practice reasoning about loops. The problems include verifying the correctness of some loops, writing correct code when given the invariant, and coming up with correct invariants.

Problems

Solve the problems given in these worksheets: part 1 and part 2.

Feel free to rewrite the problems on a separate sheet. You do not have to turn in these exact pages with the blanks filled in (though you can do that as well). It is okay to submit a scanned copy of a hand-written document as long as it is legible, so you can also print the worksheet, write your answers on that, and scan it when done.

Submission

Submit your write ups, each by the due date above, as PDFs in Gradescope.