Assignments

Usually a set of problems will be assigned once a week, and they are due the following week. The assignments will posted on WebCT.

Assignments are due at the beginning of class on the date mentioned in the assignment, and have to be turned in on paper. You may type them up or turn them in in legible handwriting. If you use a word-processor, make sure to use the spell-checker. Assignments are graded for correctness and clarity.

Late day policy: Every student can take up to two "late days" during the semester. Otherwise, late homework will not be accepted (except in cases of documented emergencies). Please note that homeworks make 70% of the final grade.

• Homework:

  No. 1	[January 12]	Due Wednesday,	January 19
  No. 2	[January 19]	Due Wednesday,	January 26
  No. 3	[January 26]	Due Wednesday,	February 2
  No. 4	[February 2]	Due Wednesday,	February 9
  No. 5	[February 9]	Due Wednesday,	February 16
  No. 6	[February 16]	Due Wednesday,	March 2
  No. 7	[March 2]	Due Wednesday,	March 9
  No. 8	[March 9]	Due Wednesday,	March 16
  No. 9	[March 16]	Due Wednesday,	March 23
  No. 10	[March 23]	Due Wednesday,	March 30
  No. 11	[March 31]	Due Wednesday,	April 6

• Handouts:

  No. 1    Some examples of mathematical induction (January 5)

  No. 2    Extending consistent sets to maximal consistent sets (February 2)

  No. 3    Tarski's Theorem via the Diagonal Lemma (March 16)

  No. 4    Formal theories of arithmetic (March 23)

  No. 5    Proofs in first-order Dedekind-Peano Arithmetic (March 23)

  No. 6    Summary of representability results (March 25)

  No. 7    Gödel's Second Incompleteness Theorem via Löb's Theorem (April 6)

Homeworks are graded on a scale from 0 to 10. Here are corresponding letter grades according to the standard McGill grading scale:
 

F	D	C	C+	B-	B	B+	A-	A
- 4.99	5.0 - 5.49	5.5 - 5.99	6.0 - 6.49	6.5 - 6.99	7.0 - 7.49	7.5 - 7.99	8.0 - 8.49	8.5 +