UT Dallas 2021 Graduate Catalog

CS6382 - Theory of Computation

CS 6382 Theory of Computation (3 semester credit hours) Formal models of computation. Recursive function theory. Undecidability and incompleteness. Selected topics in theory of computation. Instructor consent required. (3-0) Y