Skip to Main Content

2024-2025 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

Instructor

Xia