Computability Theory
Overview
Subject area
CMP
Catalog Number
685
Course Title
Computability Theory
Department(s)
Description
Mathematical formulation of computability theory and abstract machine theory. Finite-state machines and Turing machines; Church's Thesis; recursive functions and recursively enumerable sets; unsolvability and the halting problem.
Typically Offered
Fall, Spring
Academic Career
Graduate
Liberal Arts
Yes
Credits
Minimum Units
4
Maximum Units
4
Academic Progress Units
4
Repeat For Credit
No
Components
Name
Lecture
Hours
4