COSC-385 Theory of Computation
Offered academic year 2006-2007
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. Prerequisites: COSC-127 and COSC-173.
Prerequisites: COSC-127; COSC-173
Other academic years
There is information about this course number in other academic years: