2014-2015 Bulletin
2014-2015 Bulletin > Courses > CS - Computer Science > 500 > CS 581
Computability theory: study of models of computation (Turing, Church, Kleene), recursive function theory, properties of recursive, and recursively innumerable sets.