May 10, 2024  
2023/2024 University Catalog 
    
2023/2024 University Catalog [ARCHIVED CATALOG]

CS 664 - Theory of Computability


Units: 3

Grading Method: LTR: Letter Graded. The class will be offered for letter grade with no option to take it for Cr/NC

Prerequisite(s): CS 562  and classified graduate standing.

Turing machines and other formal models of computation. Recursive function theory. The Ackermann function. Solvable and unsolvable problems.

Maximum Credits: 3