Jun 22, 2024  
2020-2021 Graduate Bulletin 
2020-2021 Graduate Bulletin [ARCHIVED CATALOG]

C S 5550 - Theoretical Computer Science (3)

When Offered: Spring, Even-numbered years
A rigorous treatment of some theoretical aspects of computer science including formal definition of the notion of an algorithm, abstract machines, and formal grammars.
Prerequisite: C S 2490 (Intro to Theoretical Computer Science).
[Dual-listed with C S 4550.]