CS 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: CS 2490 with a minimum grade of “C-” (1.7).
[Dual-listed with CS 5550.] Dual-listed courses require senior standing; juniors may enroll with permission of the department.