Jul 12, 2020  
2020-2021 General Catalog (Year Under Revision) 
  
2020-2021 General Catalog (Year Under Revision)

CS 5000 - Theory of Computability


3 credits

Theory of computation, including presentation of computability, decidability, and complexity. Includes formal grammars, finite and pushdown automata, and turing machines.

Prerequisite/Restriction: 2.0 GPA; grade of C- or better in CS 2420  Not available to pre-Computer Science majors