UT Dallas 2015 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