Misc. Announcements
- (January 18, 2008)
We now have a course box identified by the course number and my name.
Its slot is on the north/west wall of the departmental office (CSEB
1003). All assignments are to
be deposited in it by the due date and by 2:00 pm on that date.
- (January 19, 2008)
Please download fresh copy of assignment #1. I took care of some typos.
- (January 27, 2008) The
problem set #1 is due on Feb. 6,
2008, in the course box (by 2pm)
- (Feb 3, 2008) Note new deadline for Problem Set
#1: Feb 8, 2008 (by 2pm,
in the course box).
- (Feb 10, 2008) As
announced in Thursday's class,
the final deadline for Problem Set
#1 is Feb 13, 2008 (by
2pm,
in the course box).
- (Feb 19, 2008) Grades for Problem Set #1 are here.
- (Feb 25, 2008) Problem Set #2 is due on March 13, 2008.
- (Mar 11, 2008) Problem Set #2 is now due on March 24, 2008.
- (Apr 3, 2008) Problem Set #3 has an obvious typo
on p.2. It should ask "Is f' below the same as f?". I.e., there
should be
no prime in the second "f".
- NEW! (Apr 11, 2008) Grades for Problem Set #2 are here.
Office Hours: 12:00-1:30pm,
Tuesday and Thursday (Location: Room 2051 CSB)
(NB. Not available Jan. 10,
2008)
Misc. Lecture Notes.
- Revised
Again (Feb 24)
Notes on the Kleene Normal Form. Download
(PDF)
- Notes on the Ackermann function. Download (PDF)
- A brief
note on Loop Programs. Download (PDF)
- On
Turing Machines, briefly and informally (from CSE2001 notes): PART 1: PDF, PS
and PART 2: PDF, PS.
- Gödel's 1st
Incompleteness Theorem: DVI,
PDF, PS.
- Why mathematicians should not lose
any sleep over automatic theorem provers. Download DVI , PDF, PS
.
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 January 18, 2008.
Due: Feb 13, 2008.
Download here.
- Problem Set #2.
Posted February 15, 2008.
Due: March 24, 2008. Download here.
- Problem Set #3.
Posted March 13, 2008.
Due: April 7, 2008. Download here.
Sample Solutions
- Problem Set #1.
Posted February 13, 2008.
Download here.
- Problem Set #2.
Posted March 28, 2008.
Download here.
- Problem Set #3.
Posted April 7, 2008.
Download here.
Return to courses main page .
Return to my "general" home
page .
Last changed: April 11, 2008.