This homework will simply be questions from the textbook.
From chapter 3, do questions 4, 5, 6, 8, 10, 13 and 20. For the last I want invariants in the middle of the loop that explain what the loop has done up to that point of execution.
From chapter 5, do questions 2, 9 and 12. (For people using the 4th edition of the textbook, these are the same as chapter 4 in your book).