|
Sep 25, 2024
|
|
|
|
2020/2021 University Catalog [ARCHIVED CATALOG]
|
CS 664 - Theory of Computability Units: 3
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.
|
|