Course Catalog
Course Catalog
Course Wizard
Course Search
College Wide
- Coll of Advancing&Prof Studies
- College of Education and Human Development
- College of Liberal Arts
- College of Management
- College of Nursing and Health Sciences
- College of Public & Community Service
- College of Science and Mathematics
- McCormack Graduate School of Policy and Global Studies
- School of Global Incl&Soc Dev
GRAD > CS > 620
Theory of Computation
Description:
Functions computable by programs. Recursive functions and Turing machines; simulation and diagonalization. Universality and unsolvable problems. Kleene's hierarchy and the recursion theorem. Gregorczyk's hierarchy and Ackermann's function. Abstract complexity. Formal languages and classes of automata. Inherently difficult combinatorial problems.
Offered in:
2013 Fall
| Section | Class Number | Weekly Schedule | Time | Instructor | Location | |
|---|---|---|---|---|---|---|
| 01 | 9277 | MW | 04:00 PM - 05:15 PM | Simovici,Dan | M01-0208 | More Info |
