Logic and Computation
80-310/610
Homework
- There are a total of 10 homework assignments, worth 100 points each.
- Graduate students enrolled in 80-610 are to also do the starred problems.
- Undergraduates in 80-310 may do the starred problems for extra credit.
- Some assignments also offer additional problems for extra credit.
- Assignments generally are posted here on Thursday, and are due the following Thursday in class, before the start of the lecture.
- Homework solutions are to be turned in on paper. Electronic submissions will be accepted only under special circumstances.
- Graded homework will be returned by the Thursday following the due date.
[ Home | Homework
| Handouts ]
awodey@cmu.edu
Steve Awodey