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.