Dec 07, 2025  
2020-2021 University Catalog 
    
2020-2021 University Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 58400 - Theory Of Computation And Computational Complexity


Credit Hours: 3.00. The theory of general purpose programming systems. Recursive and partial-recursive functions; recursive and recursively enumerable sets. The Church-Turing thesis. The recursion theorem, Rogers’ translation theorem, Rice’s undecidability theorem. The general theory of computational complexity: there are no general solutions to natural optimization problems. Complexity for specific models of computation: the polynomial complexity classes P, NP, and PSPACE; NP-hard and PSPACE-hard problems, inherently exponential problems. Typically offered Spring.Credits: 3.00



Add to Portfolio (opens a new window)