===========================================================================
CSC 236            Homework Exercise 1 -- Marking Scheme          Fall 2009
===========================================================================


NOTE TO STUDENTS:

You will find below the marking scheme used for your homework, including
the meaning of marking codes and number of marks associated with each one.
This file also contains my instructions to the marker (so you can get an
idea of how the homework was marked) and the marker's comments about each
question.

Please take the time to read this carefully before you ask questions about
the grading of your homework.


NOTE TO MARKER:

Be picky!  On any homework, it is the responsibility of students to show
that they understand how to solve each problem and to write up their
answers carefully.  At the same time, keep in mind that exercises are worth
only 2% of the final grade and your marking time is very limited, so your
marking must be coarse -- unfortunately, you do not have time to make fine
distinctions, so do not give or take away anything smaller than 0.5 marks.
And remember that marking is not just about evaluating the students's
performances, but also about giving them feedback so that they can learn
from their mistakes -- within the limitations imposed by your marking time,
of course.  This is especially important for students who made numerous or
more serious mistakes, as they are likely to need more feedback in order to
understand why their answers were incorrect.

For each question, I list solution elements with an associated code for
writing on student papers (the letter(s) between underscores _) and a
number of marks.  There are also general errors (with associated codes)
given below, with a maximum number of marks to take off for each type of
general error (as a percentage of the value of the question).  You will
likely encounter other common errors, or maybe decide to break down the
marking scheme further.  Simply make note of these changes/additions to
the marking scheme, and introduce new code letters (or short words) to
allow you to quickly give accurate feedback to the students (both in terms
of what they did wrong and how many marks it cost them).


GENERAL ERRORS (marked negatively, in addition to any other errors):

    _A_rithmetic/_A_lgebra [up to 0.5]:  calculation error

    _N_otation [up to 1]:  incorrect/ambiguous notation

    _V_agueness [up to 1]:  incorrect/unjustified/vague claim


1.  [1.5 marks]

    Solution elements:

    _F_ormat [0.5 marks]:  correct proof structure (definition of
        predicate, base case, inductive hypothesis, inductive step,
        conclusion), independently of proof correctness

    _P_redicate [0.5 marks]:  correct definition for predicate P(n),
        correct proof of base case, and correct inductive hypothesis

    _S_tep [0.5 marks]:  correct proof of inductive step


2.  [2.5 marks]

    Solution elements:

    _F_ormat [0.5 marks]:  correct proof structure (definition of
        predicate, base case, inductive hypothesis, inductive step,
        conclusion), independently of proof correctness

    _P_redicate [0.5 marks]:  correct definition for predicate P(n) and
        correct proof of base case

    _H_ypothesis [0.5 marks]:  correct inductive hypothesis

    _S_tep [1 mark]:  correct proof of inductive step
        (0.5 for correct idea, 0.5, for correct write-up)


    _B_onus [0.2 marks]:  completely clear and correct proof


Marker's Comments:

 -  I gave 0.1/0.2 for those whose consider the case where the two squares
    are EQUAL.

 -  On question 2, some students apply recursively the P(2) statement to
    get the result.  I didn't deduct any marks.


Common Errors:

 -  Question 2:
     .  Not using P(2) case.
     .  Proving that P(0) is vacuously true.