Aug 19, 2022  
2019-2020 Graduate Bulletin 
2019-2020 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.]