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