Portland-State-University 2019-2020 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