Advanced Theory of Computation - CSC 611

Topics in this course 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.