Portland-State-University 2014-2015 Bulletin

CS 581 Theory of Computation

Computability theory: study of models of computation (Turing, Church, Kleene), recursive function theory, properties of recursive, and recursively innumerable sets.

Credits

3

Prerequisite

Prerequisite: CS 311.
  • Up one level
  • 500