A rigorous treatment of theoretical aspects of computer science, including formal definition of the notion of an algorithm, abstract machines, and formal grammars. Prerequisite: CS 2490. [Dual-listed with CS 5550.] Dual-listed courses require senior standing; juniors may enroll with permission of the department.
THE COLLEGE OF ARTS AND SCIENCES
APPALACHIAN STATE UNIVERSITY UNDERGRADUATE BULLETIN 2015-2016