Misc. Announcements
- The office hours for Tuesday,
September 21, will be moved to 2:30-3:30pm.
- The
first problem set is due on Nov. 1(Monday) by 2:30pm in the course box (Rm
1003, by the atrium).
- All
subsequent assignments are to be deposited in said "box" by 2:30pm on
the date each is due.
- Grades for the first problem
set are here.
- In
problem set #2, exercises #5 and #6 from Ch.7 are NOT "true/false". Answers
(yes/no) must be proved.
- Grades for the second problem
set are here.
- Grades for the third problem
set are here.
- Unofficial grades for the
course are here.
Office Hours: Tuesday and Thursday, 10:00-11:30. (Location: Room 2051 CSB)
Misc. Lecture Notes.
- On
Turing Machines, briefly and informally (from COSC2001 notes): PART 1: PDF, PS
and PART 2: PDF, PS.
- On Normal Form Theorems and the S-m-n
and Recursion Theorems: DVI
, 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 September 26, 2004. Due:
Nov. 1, 2004 (Monday).
Download: DVI, PDF,
PS.
- Problem Set #2:
Posted November 6, 2004. Due: Friday, Dec 3, 2004 (by 2:30pm).
Download: DVI, PDF,
PS.
- Problem Set #3:
Posted November 19, 2004. Due:
End of term.
Download: DVI, PDF,
PS.
Sample Solutions
- Problem Set #1:
Posted November 11, 2004. DVI, PDF, PS.
- Problem Set #2:
Posted December 10, 2004. DVI,
PDF, PS.
- Problem Set #3:
Posted December 29, 2004. DVI,
PDF, PS.
Return to courses main page .
Return to my "general" home
page .