Undergraduate Catalog 2018-2019 » Courses » CSC - Computer Science Course Descriptions » 400 » CSC 430
Examines the underlying mathematical models and theories that are the basis of the modern computer. Topics include grammars, types of languages, types of automata, computability, and complexity.