Theory of Computation

3 Credits · Level: Graduate, Undergraduate

Topics covered are drawn from the following: finite automata, formal languages, machine models for formal languages, computability and recursion theory, computational complexity, and mathematical logic applied to computer science.