2017-2018 Catalog

CS 303 Theory of Computation

An introduction to the theoretical foundations of computer science and formal models of computation. Topics will include formal languages, finite automata, computability, and undecidability.

Prerequisite

CS 202 and PHIL 200

Instructor

Xia