HW1

Due: Wednesday, April 6th by 11pm

Overview

In this assignment, you will practice forward and backward reasoning and verifying the correctness of code, one of the most important skills in programming.

Problems

Solve the problems given in this worksheet.

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 up as a PDF in Gradescope.