CIT 596 Theory of Computation
Spring 2012, David Matuszek

The first half of this course was taught by Dr. Donna Dietz; here is her course web site, in HTML and on Blackboard.

The second half is being taught by me, Dave Matuszek.

Office hours: 1 pm to 4 pm Mondays, 6:30 pm to 8 pm Tuesdays, 2 pm to 4 pm Wednesdays. However, the general rule is, if my door is open, I'm available.

Programming languages come and go, but the underlying theory has remained constant since I taught similar courses, back in in 1996 and 1999. At that time I wrote up an extensive set of course notes, which I expect to rely on. To some extent, I will also use the slides for an RPI course, at

More material may be added here and on Piazza as the semester progresses.

Also: Baby!


Turing Machines

Post Correspondence Problem


Final exam: Monday, May 7, 9am-11am, in Moore 216.