A study of the formal theories underlying computer science. Topics include Turing machines, automata theory, recursive functions, computability, and formal languages.

OWU Units: 1.00. Crosslisting(s): None. Prerequisite(s): CS 220 or MATH 250 . Corequisite(s): None. Antirequisite(s): None. Fee: None. Core Competency: None. Offered: Alternating Years (Fall Semesters). Next offered in 2026-2027, 2028-2029.