Portland-State-University 2016-2017 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

CS 311.
  • Up one level
  • 500