COSC 4111/5111 3.0-Fall 2001

Misc. Announcements

NEWER! Assignment #2 due Monday the 10th (anytime, in drop box).
Assignment #3 due December 19th (anytime, in drop box).

NEW! Assignment deposit boxes have moved to CSB, main hall, outside of Prism Lab.

Problem Set #1 grades are here.

Problem Set #2 grades are here. And #3 are here .

Unofficial FINAL GRADES are here !

Office Hours: Tuesday and Thursday, 10:00am--11:15am (Location: Room 2051 CSB)

Misc. Lecture Notes.

On Normal Form Theorems and the S-m-n and Recursion Theorems: DVI , PDF , PS .

(Some students may wish to type/wordprocess even diagrams and symbols. However this is not required.)

Problem Set #1: Posted September 27, 2001. Due: November 6, in class. DOWNLOAD here: DVI , PDF , PS .

A small erratum: In the Myhill-Nerode exercise a quantifier is missing. The language should read {x: for some y, xy in L}.

Problem Set #2: Posted October 26, 2001. Due: TBA by Web posting. DOWNLOAD here: DVI , PDF , PS .

Problem Set #3: Posted November 22, 2001. Due: TBA by Web posting. DOWNLOAD here: DVI , PDF , PS .

Sample Solutions

Problem Set #1 (Soln. posted Nov. 18, 2001): Download here: DVI , PDF , PS . (A typo in the loop-program problem was corrected.)

Return to courses main page .