C S 4550 - Theoretical Computer Science (3)

When Offered: Spring. Even-numbered years
A rigorous treatment of theoretical aspects of computer science, including formal definition of the notion of an algorithm, abstract machines, and formal grammars.
Prerequisite: C S 2490.
[Dual-listed with CS 5550.] Dual-listed courses require senior standing; juniors may enroll with permission of the department.