NEWS
- NEWEST! (Dec 15). Assig #3
unofficial grades are HERE.
Course
unofficial grades are HERE.
- NEWER (Dec 11). Assig #2
unofficial grades are HERE.
- NEW (Dec 7). There
is a small typo
in Problem #6
of Assignment #3 (missing i). The question is
updated / corrected below (the added i in red type)
- (Dec 2). Due
to flight cancellation back to Toronto I must move my additional office hours,
from Tuesday to Thursday
1pm-2pm. The Wednesday office hours are on, unchanged.
- (Nov 28).
There are additional office hours, Tuesday, Dec. 3, 1:00pm-2:00pm.
We will have
the regular office
hours on Wednesday the 4th of Dec, as well.
- (Nov.
15) Assig #2
is due on Nov. 22, at
2pm in the Drop Box.
- (Oct.
28) Assig #1
unofficial grades are HERE.
- (Oct.
9) Assig #1 is
due on Oct. 21 at 2pm in the Drop Box in LAS.
- (Sep. 23)
Notes on coding and URM simulation (by a simultaneous
recursion) replace the ald note on Arithmetisation (3rd
bullet under Misc. Lecture Notes)
- (Sep. 16)
Our Tuesday class will
be held -- starting
tomorrow (Sep. 17) -- in BRG
(Bergeron) 211. Same time (11:30am-1:00pm). The Thursday
class did not
move (still in BRG
213).
Office Hours: TBA
(LAS
2051)
Misc. Lecture Notes.
- Church's Thesis; Universal function
Theorem, Normal Form Theorems; First look at unsolvability.
Download here.
- About loop
programs, revised. Download here. Please discard
the 2013 version.
- Advising Note
(re Grzegorczyk's E0): Download here.
- Notes
on coding
sequences and the simulation of URMs by a simultaneous
recursion. 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
Sep. 23. Due: Oct. 21, at 2pm in
the Drop Box. Download here.
- Problem Set #2: Posted
Oct. 28. Due: Nov. 22, at 2pm in
the Drop Box. Download here.
- Problem Set #3: Posted
Nov. 15. Due: Dec. 4 at 3pm in
the Drop Box. Download here.
Sample Solutions
- Problem Set #1: Posted:
Oct. 21. Download Here.
- Problem Set #2: Posted:
Nov. 25. Download Here.
- Problem Set #3: Posted:
Dec. 11. Download Here.
Return to courses main page .
Return to my "general"
home page .
Last changed: Dec. 15, 2019