-
HW1 20 points total;
Part 1: 14 points (1 per question)
Part 2: 6 points (3 per question)
-
HW2 22 points total
Part 1: 16 points (2 per question)
Part 2: 6 points (1 per question)
-
HW3 20 points total
7 points for 1.9.3: 3 for a program that is correct or almost correct when
considered to be C or Java or Pascal like pseudocode; 4 for a program that
shows why the two statements may give different results.
9 points for 2.9.1 (1.5 per diagram: there are six diagrams).
4 points for 2.9.2: students should not use rules with an empty right-hand
side, but not points will be taken off for that.
{li>
HW4 15 points total
5 points per part
-
PR1. 10 points total. 7 points for screen dump. 2 points for identification of
simplesem instructions that translate the while construct (jumpt, jump, and
labeled statements; take one point off if too many simplesem statements are
identified), 1 point for proof.
-
HW7. 22 points in total.
2.1.2 0.5 points each to 4 points.
2.2.2 0.5 points each to 4 points.
2.4.1 0.5 points each to 4 points.
2.4.3 1 point each to 4 points.
2.4.4 1 point each to 2 points.
2.4.5 0.5 points each to 2 points.
2.4.6 2 points
-
PR2. 30 points in total. 2.1.1 4 point, 1/2 point per part,
full credit for (g) with either a report of error or a report
of what appears when entering the expression
0xAB+123. 3.1.1 6 points in total, 1 point per exercise.
3.1.2 8 points in total, 2 points per exercise. 3.2.1 12 points (2 per
part).
-
PR3 25 points in total. 3.3.1 6 points in total, 1 point each. 3.3.2 2 points.
3.3.3 3 points. 3.3.7 3 points. 3.3.11 6 points, 2 points per part.
3.4.1 2 points. 3.4.5 3 points.
-
PR4a 15 points in total: 5.4.5: 8 pts, 5.4.6: 3 points, 5.4.7: 4 pts.
-
PR4b 25 points. One for each of the five relations defined extensionally, 2
points for each of the eight rules to be written, except 4 points for sibling,
3 points for sister_of and grandma_of.
-
PR5 15 points in total. 5 points per part. Partial credit for short programs
that run. Small partial credit for use of &, !, @@, trans, id, 1, %0.