CPSC 8390 - Foundations of Theoretical Computer Science

3 Credits (3 Contact Hours)

Preparation for the study of advanced issues in computational complexity, algorithm correctness and inherent limits to computing; set theory and proof techniques; classes of the Chomsky hierarchy. Students are expected to have completed coursework in formal languages and automata before enrolling in this course.