2015-2016 Bulletin
2015-2016 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.