**Review** Undergraduate Catalog 2025-2026

CS 401 Theory of Computation

An introduction to the logical and mathematical foundations of computation. Topics discussed will include finite-state automata and context-free languages.  The course material will be presented in an inquiry-based context in which students will solve problems, prove theorems, and present their solutions to the class.

Credits

3

Offered

Generally offered Spring Even Years

Prerequisite

(CS 301 and MATH 228 with a minimum grade of C)

Course Fee

Differential Tuition Required