3Class Hours0Laboratory Hours3Credit Hours Prerequisite: Coursework in Discrete Math or CS 5070 as determined by program admission A study of topics from theoretical computer science that includes automata and languages, computability theory, and complexity theory.