-
HW1 20 points total;
(The whole homework is on History and addresses outcome 1.)
Part 1: 14 points (1 per question)
Part 2: 6 points (3 per question)
-
HW4 15 points total.
3 points for getting the first line right.
2 points for getting the read statement right.
6 points for getting the assignments right.
2 points for setting up the while loop right.
2 points for getting the read statement right.
-
PR1. 15 points total. 6 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), 7 point for proof: 6 points if student gives a proof of
correctness of Euclid's
theorem that GCD(A,B) = GCD(B,Q) when A > B and A =rB + Q; one (1) point if
loop invariants are used.
-
-
PR2. 10 points total. 2 points for screen dump. 8 points for translation to
C4'': 5 points if static links are present; 3 points if indirect references to
variable n are correct.
-
PR3 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.
-
HW5. 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, with a maximum of 2 points.
2.4.6 2 points
-
PR4. 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).
-
PR5 30 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.11 9 points, 3 points per part, 5.4.2 10 points total:
9 points if it works, none otherwise; 1 point for the second part.
-
PR6 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. No credit taken off for students who
define the parent/2 relation extensionally and write rules for father/2 and
mother/2. Also, no credit will be taken off for students who define diff/2
using the built-in predicate \==, or simply use X\==Y in place of diff(X,Y).