Misc. Announcements
- Problem #5 (Ch.7)
is assigned in assig. #2 and #3. Since I have posted solutions
for assig. #2 (Apr. 8, 2002,
including said problem) this problem is now OFF
the assig.#3 list.
- Problem Set #2 grades are
here
.
- Problem Set #3 grades and unofficial
final grades are here
.
Office Hours:
Tuesday and Thursdy, 12:00-13:15.
(Location: Room 2051 CSB)
Misc. Lecture Notes.
- On Normal Form Theorems and the S-m-n
and Recursion Theorems: DVI
, PDF
, PS
.
- Why mathematicians should not lose
any sleep over automatic theorem provers. Download
DVI
, PS
.
Problem Sets
The text of all answers is expected
to be typed.
(Some students may wish to type/wordprocess even diagrams and symbols.
However this is not required.)
-
Problem Set #1.
(Posted January 19, 2002, DUE
after the reading week [Friday 22, 2002, by
2pm, in course box ]). Download: DVI
or PDF
or PS
.
- Problem Set #2.
(Posted February 24, 2002, DUE
March 27 (course Box, by 2;00pm).
Download: DVI
or PS
.
- Problem Set #3.
(Posted March 17, 2002, DUE
April 23, by 2pm, in the Course Box).
Download: DVI
or PS
.
Sample Solutions
- Problem Set #1. Download:
DVI
or PS
.
- Problem Set #2. Download: DVI
or PS
.
Return to courses main page
.
Return to my "general" home page
.