CS522 HW1 Grading Notes
-----------------------
1. trivial.
(a) 10pt
(b) 10pt
2. nobody got this right, and only one person came close. very disappointing.
3. in this assignment and in the final, counter-examples must be
specific, and proofs must be rigorous. semi-pseudo-kinda-analysis
don't cut it.
(a) 5pt
(b) 10pt
4. see Example 16.27 in the textbook.
5. trivial
6. trivial
7. note that when you have a->b->c and a->c, you may remove a->c because
it's already enforced in a->b->c.