May 04, 2024  
2017-2018 Graduate Catalog 
    
2017-2018 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 polynominal heirachy. Students will be expected to develop thorough proof-writing, reduction, and computational techniques, tested through regular quizzes and homework assignments. Prerequisites: CSC3555.