Misc. Announcements
NEWS
- NEW! (April 25, 2018).
Unofficial Grades:
Problem Set #2, Problem Set #3, Course Grade.
- (April 11,
2018). There
is a typo in Problem (2) of Assignment #3: In the second bullet,
instead of Phi_i(x)>y
it should say Phi_x(x)>y.
- (April 9, 2018).
There is a typo in
Problem (5) of Assignment #3: Question (5) should be asking
"Is
the above D r.e.?", not "Is the above A r.e.?".
- (March 28,
2018). The
last set of course notes has been uploaded (Recursion Theorem
and Goedel's Incompleteness
Theorem).
- (March 23,
2018). Asignment
#3 is now posted. Both #3 and #2 are due on April 6, by 4pm in the course
drop box.
- (March 20, 2018).
Two typos were corrected on p.4 of the Notes on the use of the
S-m-n Theorem to detect unsolvability (red type).
- (March 19, 2018).
Notes on the use of the S-m-n Theorem to detect
unsolvability are now posted below. Unofficial
grades for Problem Set #1 are also posted HERE.
- (March 16, 2018)
Notes on the Kleene
Iteration Theorem (S-m-n) have been re-posted with
some corrections / clarifications.
- (March 14, 2018)
Notes on the Kleene
Iteration Theorem (S-m-n) have been added below.
- (March 11, 2018) When Problem Set #2
was posted on March 8, inadvertently the promised transfer of
Problem #27, from Set #1 to Set #2 was not done.
It is done now!
- (March 8, 2018) Problem Set #1 is Due on March 13 by
2pm, in the course Box in LAS.
Problem Set #2 has
just been posted!
- (March 4, 2018) Notes on Semi-Recursiveness
have been
uploaded. ALSO: The
Original March 6 due date for Problem Set #1 is suspended until
further notice.
- (Feb 27, 2018)
Improved Notes for Ackermann's
function have been uploaded.
- (Feb, 16, 2018)
Notes for the Arithmetisation
of URMs and the Kleene Predicate as well as for the Ackermann function
have been just added below!
- (Feb. 14, 2018) (A) There is a typo
in Problem
11 (p.234).
In condition (3), the argument of f is x-bar, not y-bar. (B) Due to reading
week we will have no office hours this coming Tuesday. (C) The
assignment due date is pushed to March 6.
- (Jan. 31, 2018) A
newer version of the Loop Programs Notes has been uploaded.
Please discard the old one.
- (Jan. 9, 2018)
Classroom moved
to CB 129 as of today!
Office Hours: Tuesdays
2:00pm-3:00pm
(LAS
2051)
Misc. Lecture Notes.
- Notes on the Kleene Normal Form. Download (PDF).
- Why mathematicians should not
lose any sleep over automatic theorem provers.
Download PDF.
- 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.
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 Jan.
18, 2018. Due Mar. 13, 2018, by 2pm, in the Course Box in LAS.
Download.
- Problem Set #2. Posted March.
8, 2018. Due April 6,
by 4pm in the course box in LAS Building. Download.
- Problem Set #3. Posted March.
23, 2018. Due April
6, by 4pm in the course box in LAS
Building. Download.
Sample Solutions
- Problem Set #1 Solutions. Posted Mar. 13, 2018. Download.
- Problem Set #2 Solutions. Posted Apr. 23, 2018. Download.
- Problem Set #3 Solutions. Posted Apr. 23, 2018. Download.
Return to courses main page .
Return to my "general"
home page .
Last changed: April 25, 2018