Nov 21, 2024  
2019-2020 Graduate Catalog 
    
2019-2020 Graduate Catalog [ARCHIVED CATALOG]

CSC 6010G - Theory of Computation II

Credits: 4
This continuation of CSC3555, Theory of Computation, will explore the ideas of computability and complexity in more detail. The course will cover the topics of Turing Machines and other advanced models of computation (circuit model, oracle machines, alternating machines); complexity classes including: PSPACE, P, NP, coNP, L #P, RP, BPP, IP, AC; and the polynomial hierarchy. Students will be expected to develop thorough proof-writing, reduction, and computational techniques, tested through regular quizzes and homework assignments. Prerequisites: CSC3555.