UT Dallas 2013 Graduate Catalog

CS6382 - Theory of Computation

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