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.