NEWS
- NEWESTEST (April 17)
Unofficial
Grades For Course. Download/View.
- NEWEST (April 16)
Unofficial Grades
For Assignment #3. Download.
- NEWER (March 27)
Unofficial Grades
For Assignment #2. Download.
- NEW (March 26)
Our Final Exam is Scheduled as
follows:
LE/EECS
2001 3.00 Z (EN) |
Thu,
11 Apr 2019 |
9:00 |
180 |
ACW
004
|
|
- (Mar.
25) In Problem
Set #3, for
Problems 1 and 2 you do not need to follow any mechanical construction. Just use
"inspiration",
but
Clearly
justify why your automaton/regular expression
works as stated. On
the other hand, in Problems 4, 5 and 6 you MUST follow the
relevant
constructions we saw in class and in Notes #11.
-
(Mar. 24) Erratum:
In Problem Set 3,
Question #6, the reference to "previous problem" is to Problem #5, not #6.
-
(Mar. 21) Please be reminded to fill out the online
course evaluation by going to https://courseevaluations.yorku.ca/
-
(Mar. 20) Erratum:
In the Solutions of
Problem Set 2, Question #1, I have corrected the
initialisation of the simultaneous recursion. In red
type.
-
(Mar. 17) Further
Hints for Problem #7 in Assignment #2: How about looking at
Notes #8 and modify the argument in Example
0..4.2: In the
definition of f(x, y) on p.10 see what happens if the
othw value is 5.
-
(Mar. 2) Further
improvements were effected on Notes #7 today.
-
(Mar. 1) Unofficial
Grades For Assignment #1. View/Download.
- (Feb. 28) New Version of Notes #7.
Download again.
-
(Feb. 24 too) Problem
Set #2 is now posted below.
- (Feb.
24) The Unofficial MidTerm
Grades are here. View.
- (Feb. 23) CLASS
/ TUTORIAL SWAP: In the week of Feb 25
classes will be held on Monday (Feb. 25) and Friday
(Mar. 1). The
Tutorial will be on Wednesday (same classroom, same
time).
- (Feb. 12)
The university is
closed today due to the weather. Assignment #1 is now due
tomorrow, Feb 13, at 12:00 noon, in the course box. I will have the solutions up on our course web site very soon after
12:00 noon tomorrow. The
test is on at 2:30pm in our normal classroom tomorrow.
- (Feb. 7) Due
to the loss of a class due to the University closure, we will have a MAKEUP class
tomorrow -- instead of a Tutorial-- same time same classroom.
- (Feb. 6) The University just closed
due to weather. No class today. Problem Set #1 is now due On Tuesday Feb 12,
in the Course Box by 3:30pm (our assignment drop slot is
Marked 2001Z
and my name; it is at
the upper RIGHT corner of the big Box). I will NOT refresh due date on the
questions PDF.
- (Feb. 5) Please Note corrected
typo in "NOTES #2" (on URMs) p.8. Correction in
the "x <- z"
program is in red.
- (Jan. 21) Please re-download
Problem Set 1! Some problems got removed, some others were added.
Course Outline
Office Hours: Tuesdays, 12:00-13:00
(Location: LAS Room 2051)
Tutorials
Fridays, CB 121, 2:30pm-4:00pm
First tutorial:
Friday, January 11, 2019
(Tutorials:
Yuchen Kang)
TA Team: Tania
Moeinfard, Yuchen Kang
Misc. Course Notes
- Some Hints
for Problem Set #1 (Feb. 7). Download.
- A Collection of Course
Notes.
- Generalities,
or what is our plan. Download.
- The URM;
Preliminaries. Download.
- Diagonalisation--first
installment. Download.
- Primitive
Recursive Functions. Download.
- More on
Primitive Recursive Functions. Simultaneous Recursion.
Download.
- Church's
Thesis. A
First look at Unsolvability. Download.
- (Feb. 11) A Second look at
Unsolvability. Download
- (Mar. 7) A Third look at
Unsolvability. Download
- (Mar. 12) A First look at Finite
Automata. Download.
- (Mar. 16) A Second look at
Finite Automata. Download.
- (Mar. 22) A Third look at Finite
Automata. Download.
Problem Sets
The text
of all answers is expected to be typed
.
(Some students may wish to type/word
process even their diagrams,
however this is not required.)
- Problem Set 1. Posted January 20,
2019. Due: February 13,
2019; 12:00pm
in the Course Box.
Download here.
- Problem Set 2. Posted February 24,
2019. Due: March 19,
2019; 2:30pm
in the Course Box.
Download here.
- Problem Set 3. Posted March 18,
2019. Due: April 3,
2019; 4:30pm
in the Course Box.
Download here.
Term Test
Feb 13, 2019. This will be a 80 minute in-class test.
Sample Solutions
- Problem Set 1. Posted February 13,
2019. Download
- MidTerm. Posted February 13,
2019. Download.
- Problem Set 2. Posted March 19,
2019. Download.
- Problem Set 3. Posted April 3,
2019. Download.
- Final Exam. Posted April 11,
2019. Download.
Return to courses main
page .
Return to my "general" home page
.
Last changed: Apr 17, 2019