|
May 10, 2024
|
|
|
|
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
|
|