Advanced Theory of Computation - CSC 611

Topics include: primitive recursive functions, Church thesis, recursive and recursively enumerable sets, time and space complexity measures, the classes P and NP-completeness, and hierarchy of complexity.