NEWS
- NEWESTEST
(Jan. 7, 2022) Unofficial
Asignment # 2 and #3 Grades are here. Download
#2. Download #3.
- NEWEST
(Dec. 15, 2021) Please
note a "Typo in the Hint"
of Problem #1
in Assignment #3. Should
read "Now for any given \vec x find the smallest w=<z,
y> such that
Q(z, \vec x, y) is true and
return y." Because of this typo solutions will be
posted tomorrow (DEC. 16)
at 2pm.
- NEWER (Dec. 8, 2021) Please note a "Typo by Omission" in Problem #2
in Assignment #3. It asks
you to prove that P
is closed under Definitions by Positive Cases.
What I forgot to add
was "but this time you may not use CT; your approach must be fully mathematical".
- NEW (Dec. 1, 2021) Please Note that due to
workload considerations the
Solutions of Assignment #3 will be posted on December 15, 2:00 pm on this
web page, as usual.
- (Nov. 24, 2021) Assignment
#2 due date changed: It is now due on Nov. 28,
2021, at 2pm in eClass.
- (Nov. 20, 2021) Assignment #2 is due on Nov. 26, 2021, at
2pm in eClass.
- (Nov. 15,
2021) In Assignment #1
problem #35 case of the g function please see corrected
solution below.
- (Nov. 15, 2021) In
Assignment #1
Solutions (problem
2.1.2.10) I have a typo.
The iterator is U^4_3,
not U^4_1. Any loss of marks due
to this will be reversed.
- (Nov. 7, 2021) Unofficial
Asignment # 1 Grades
are here. VIEW/DOWNLOAD.
- (Nov. 7, 2021) In
Assignment #2
I added an elaborate Hint to
Problem #6.
- (Oct. 30, 2021)
In Assignment #1
Problem #35
from p.236 of the text asks at the end: "Why in general?"
Do NOT answer this
"Why in general?" in Assignment #1.
I will come back to
this SUBquestion
of #35 in Assignment #2.
- (Oct. 25, 2021) Assignment #1 is due on Tuesday, Nov. 2, at
2:00pm in eClass.
- (Jul. 24, 2021)
Our classes will be via Zoom accessible from the eClass
(formerly
Moodle) page for the course. There are a
few peculiarities you
should note and follow.
1) You
must
use a
yorku.ca
email
to access eClass and Zoom
|
2) Lectures
will be recorded and saved for future viewing (via
Eccho360)
|
3) Problem
Sets, the last of which is THE Final Exam
will
be posted on THIS page.
Answers to ALL those must be
uploaded
by the
students to eClass at or before
established rigid deadlines.
|
4) Assignment
Deadlines will be within the usual 2-3 weeks with
NO extensions:
Solutions
will be posted on THIS page below shortly after
the time (on the due date) assignments
are due.
|
Reading Week
Oct. 9 - 15
Office Hours: (By email, with
prompt responses. Please email me in the time window
13:00--16:00)
Lecture Notes.
- WEEKLY
Lecture NOTES (these keep getting modified and expanded). Download.
- Advising Note
(re Grzegorczyk's E0): Download here.
- 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 Sept. 19, 2021.
Due:
Nov. 2, in
eClass, by 2:00pm. DOWNLOAD Questions.
- Problem Set #2. Posted Nov. 5, 2021.
Due:
Nov. 26, at 2pm in eClass.
DOWNLOAD Questions.
- Problem Set #3. Posted Nov. 20, 2021.
Due:
December 8, at 5pm in eClass. Download.
Sample Solutions
- Problem Set #1. Posted: Nov. 2.
DOWNLOAD.
- Problem Set #2. Posted: Nov. 28.
DOWNLOAD.
- Problem
Set #3. Posted: Dec. 16.
DOWNLOAD.
Return to courses main page .
Return to my "general"
home page .
Last changed: Jan. 7, 2022