
CMPSCI 601: Office Hours, Spring 2013  
Neil Immerman, CompSci Bldg 374, immerman@cs.umass.edu  Tu 23, Th 12, and by appointment. 
TA: Cibele Freire,  by appointment. 
Required Textbook: Introduction to the Theory of Computation, 3rd Edition by Michael Sipser, (2012), Cengage Learning, ISBN10: 113318779X
Meeting times: M,W 10:35  11:50, CMPS 140. First meeting Wed., Jan. 23, 2013.
Prerequisites: Mathematical maturity at the level of CS 250 is a minimal requirement. One nice book that helps with mathematical background is, How to Prove It by Daniel Velleman.
Most students will have had an undergraduate course in Automata and Formal Languages such as Comp Sci 401. For students who don't know this material, it would be helpful to get the text in advance and read Chapters 0 and 1 which we will cover quickly, i.e., in the first lecture.