Jan 31, 2023  
2022-2023 Graduate Bulletin 
    
2022-2023 Graduate Bulletin

C_S 5550 - Theoretical Computer Science (3) [DL]


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: CS 2490 (Intro to Theoretical Computer Science).
[Dual-listed with CS 4550.]