Comp. Sci. 601
Theory of Computation
Handouts and Notes:
- Information about
readings and topics to be coverered and other handouts will be posted on
the syllabus -- not yet up to date yet.
- If some of the symbols that I have been using seem Greek to you, here
is a Symbol Table to help you remember what they mean.
Dept. of Computer Science, Room 374
140 Governor's Dr.
University of Massachusetts
Amherst, MA 01003-4610
| CMPSCI 601: Office Hours, Spring 2015|
| Neil Immerman, CompSci Bldg 374,
firstname.lastname@example.org|| Tu 1:15 - 2:15, Th 11:45 - 12:45, and by appointment.
What is this course about?
This course presents an in-depth introduction to the main
models and concepts of the mathematical theory of
computation, including: Computability, Complexity, and
Logic. I will emphasize the ability to go from a
concrete problem to a mathematical model; and, after
proving things about the mathematical model, to correctly
interpret what we have learned about the concrete
problem. For example, we will learn how to tell whether
a problem we need to solve is NP complete, or even
undecidable, and if so, what to do about it.
Computational Complexity: A Modern Approach
by Sanjeev Arora and Boaz Barak, Cambridge University Press.
Meeting times: T, Th, 2:30 -- 3:45, CMPS 140.
First meeting Tues., Jan. 20, 2015.
Prerequisites: A course on Finite Automata and Formal Languages such as CMPSCI 501.
Here is a diagram of the world of computability and complexity: