Homework: Models of Computation, Spring 2008

Rules of the game: You may not obtain solutions to the homework problems from any source. This includes the internet, other students in the class, people not in the class, and books. You may obtain general information related to the subject of the homeworks from outside sources, but all such help must be explicitly acknowledged in the homework (what kind of help did you have, from what source).

All Homework is Due In Class at the Start of Class on the Due Date I will not accept homework handed in more than 5 minutes after the start of class.

Writing Style

When writing mathematics it is important to use words. It is not acceptable to write proofs that consist only of equations, or write pseudocode with no explanation. You must say why one equation follows from previous equations, you must say whether an equation is something known to be true at this point in the theorem or is something you are planning to prove. You must say what the variables in pseudocode represent. You must say what the pseudocode is meant to do and why it achieves your goal. Remember that the reader cannot read your mind (and that's probably a good thing :-).

Assignments

  1. Due Jan 22: Read chapters 0, 1.1, 1.2. Do problems 0.1d, 0.2d, 0.4, 1.1:abcd:M1 only, 1.3, 1.4c.
    Solutions 1.3 1.4c.1 1.4c.2 1.4c.3
  2. Due Feb 5: Read chapters 1.3, 1.4, 2.1. Do problems 1.5d, 1.6dik, 1.16a, 1.18 (applied to 1.6di), 1.19b, 1.21a, 1.33, 1.40b.
    Solutions 1.6d 1.6i 1.6k 1.19b
  3. Due Feb 19: Read chapters 2.2, 2.3. Do problems 1.46a, 1.53, 2.2ab, 2.3, 2.4f, 2.6b, 2.12, 2.20, 2.30a.
    Solutions 2.12
  4. Due Mar 12: Read chapters 3.1, 3.2, 3.3. Do problems 3.2e, 3.7, 3.8b, 3.11, 3.15cd, 3.22.
    Solutions
  5. Due Apr 2: Read chapters 4.1, 4.2, 5.1, 5.2, 5.3. Do problems 4.3, 4.10, 4.13, 4.17, 5.1, 5.4, 5.7.
    Solutions
  6. Due Apr 16: Read chapters 6.1, 7.1, 7.2, 7.3. Do problems 5.13, 5.25, 5.28, 6.2, 6.7, 6.14, 6.18.
    Solutions
  7. Due Apr 30: Read chapters 7.4, 7.5, 8.1, 8.2, 8.3. Do problems 7.7, 7.8, 7.11, 7.17, 7.24, 7.32, 7.37.
    Solutions