PR1 15 points. 10 for documenting that the student used simusem (parts 1 and 3, five points each); 5 for the proof of correctness.
PR2 grading guide. 10 points in total. 5 points per exercise.
HW5 grading guide. 20 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.
PR3 grading guide. 24 points in total. 2.1.1 4 points in total, 0.5 points per exercise. 3.1.1 7 points in total, 1 point per exercise, except 2 points for (f). 3.1.2 8 points in total, 2 points per exercise. 3.2.1 5 points in total (a) 2 points, (d) 4 points.
PR4 grading guide. 24 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.8 3 points. 3.3.11 6 points, 2 points per paer. 3.4.1 4 points in total. 2 points off if the solution is not logarithmic in the exponent. 1pt extra credit for solution that computes x^n.
PR5 grading guide. 20 points in total. 4 points for the relations given by extension. 2 point for each of the 8 relations given intensionally (i.e., by rule).