NEWS
- NEWEST:
(Dec. 8) Unofficial
Course grades
(coincidentally identical to those of Problem Set #3) are here.
- NEWER:
(Dec. 1) Problem Set #2
Unofficial Grades. Download/View
- NEW:
(Nov. 19) Some typos were corrected
in the PR Complexity notes. Please re-download.
- (Nov. 17) See the
newest installment of Notes below (on Primitive Recursive
complexity matters).
- (Nov. 14) Problem Set #2 is Due Nov. 19
in class.
- (Nov. 4) Problem Set #1
Unofficial Grades. Download/View
- (Oct. 16) Problem Set #1 is now due on October 26
(Friday) at 2:30pm in
the course Box.
- We
have an Assignment
Drop Box! (Sep. 19, 2018). Location: First floor in the
Lassonde Building, in the Atrium "horseshoe", against the
wall. Clearly labelled
by course, section and instructor.
- Office
Hours announced (Sep. 13, 2018)
Office Hours: Tuesdays,
12:00-13:00 (LAS 2051)
Misc. Lecture Notes.
- About loop
programs, revised. Download here. Please discard
the 2013 version.
- Advising Note
(re Grzegorczyk's E0): Download here.
- Notes
for the Arithmetisation
of URMs and the Kleene Predicate. Download HERE.
- Notes
(improved) on the Ackermann
function. Download HERE.
- Notes
on Semi-Recursiveness
(A few typos were
removed on March 11). Download HERE.
- Notes
on the Kleene
Iteration Theorem (S-m-n Theorem). Download.
- Notes on
the use of the S-m-n
Theorem to detect unsolvability. Download.
- Notes on
the Recursion Theorem.
Download.
- Notes on Goedel's Incompleteness
Theorem. Download.
- Why mathematicians should not
lose any sleep over automatic theorem provers.
Download PDF.
- Notes on the
Complexity of Primitive Recursive Functions.
Download here.
Problem Sets
The text of all
answers is expected to be typed.
(Some students may wish to type/word process even diagrams
and symbols! However this is not
required.)
- Problem Set #1:
Posted
September 18, 2018, Due:
October 26,
2018 in the course
box by 2:30pm. Download.
- Problem Set #2:
Posted
October 27, 2018, Due: Due Nov. 19
in class.
Download.
- Problem Set #3:
Posted
November 17, 2018, Due: December 4, 2018 in the course box by 3:00pm.
Download here.
Sample Solutions
- Problem Set #1:
Posted
October 26, 2018. Download.
- Problem Set #2:
Posted
November 19, 2018. Download.
- Problem Set #3:
Posted
December 7, 2018. Download.
Return to courses main page .
Return to my "general"
home page .
Last changed: Dec 8, 2018