|
| CMPSCI 601: Office Hours, Spring 2012 | |
| Neil Immerman, CompSci Bldg 374, immerman@cs.umass.edu | Tues. 12:15 - 2:15, and by appointment. |
| Mark McCartin-Lim, markml@cs.umass.edu | by appointment. |
Text: The following required textbook -- which we will supplement with papers and class notes -- will be available at the Textbook Annex:
Prerequisites: Mathematical maturity at the level of Comp Sci 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 its first two chapters.