Homework

---

Homework Assignments for Discussion Sections

• 1/22/08: Exercises 1, 2, 3 and a review of basic proof techniques
• 1/29/08: Exercises 4.1 (and prove your answer), 4.2, 4.3, 4.4, 4.5, 4.7
• 2/5/08: Exercise 5.3, Discussion of Project 1, Exercises 6.1, 6.2, 6.4
• 2/12/08: Exercises 11, 15, 16, 18, 19
• 2/19/08: Exercises 20, 22 (give a formal proof; try not to look at given solution), 23, 24, 25
• 2/26/08: Test Review, Exercises 26 (focus on finding a better state representation), 27 (focus on proof without enumeration), 29
• 3/4/08: Exercises 30 and 31 (focus on the parts not covered yet in class)
• 3/18/08: Exercises 33,35,36,37,38,39,41
• 3/25/08: Exercises 43,44,45, Discuss Project 3, Learn About Haskell, Exercises 51,52
• 4/1/08: Test 2 Review, Exercises 54,55,60
• 4/8/08: Discuss Project 4, Exercises 61,62,63,64
• 4/15/08: Exercises 69,70.1,71,74,75
• 4/22/08: Exercises 83,84,85,86,87,88
• 4/29/08: Exercises 89,90,78,79,80,81