Misc. Announcements
- NEWEST! (Dec. 17): Unofficial
course grades (entire history) are posted here.
- NEW! I will accept both assignments #2 and #3 together at the end
of the term (before the exams start). Both assignments are due on: NOTE CHANGE: December 6th
(Friday) by 1:00pm, in the
course box.
- NEW! I will have "drop-in" office hours Tuesday, December 3rd.
- The course evaluation for COSC 4111 will be conducted on
Thursday Nov. 21 at 14:05. See the entire course evaluations schedule here.
- The first problem set is now due
as follows: Your solutions are to be deposited in the course drop
box (CSB drop boxes area).
Papers will be
collected once, on October 31, at 4:00pm.
Office Hours: TBA. (Location: Room 2051 CSB)
Misc. Lecture Notes.
- NEWEST!
On Gödel's
Incompleteness Theorem. Download newest
augmented version (Nov. 21) DVI,PDF, PS.
- NEW. For
more on reducibilities at a more elementary level check the
lecture notes on Turing Machines, Parts I and II found on this page (COSC 2001
[F01] 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 September 28, 2002; Due end of October
[TBA]). Download: PDF,DVI, PS.
- Problem Set # 2 (Posted October 24, 2002; Due at the
end of term (before exams) [TBA]).
Download: PDF, DVI,PS.
- Problem Set # 3 (Posted November 18, 2002; Due at the end of
term (before exams) [TBA]). Download: PDF, DVI,PS.
Sample Solutions
Return to courses main page .
Return to my "general" home
page .