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.
| Section | Class Number | Weekly Schedule | Time | Instructor | Location | |
|---|---|---|---|---|---|---|
| 01 | 9277 | MW | 04:00 PM - 05:15 PM | Simovici,Dan | M01-0208 | More Info |
