Misc. Announcements
Office Hours: Thursdays, 2:30-4:00pm; Tuesdays by
appointment (2:30-4:00pm). (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 Sep. 28, 2002; Due: End of October
[TBA]). Download: PDF,
PS, DVI.
- Problem set # 2 (Posted Nov. 10, 2002; Due: Before the exam period.
Download: PDF, PS,
DVI.
Sample Solutions
Return to courses main page .
Return to my "general" home page
.