Jul 20, 2018  
2016 - 2017 Graduate Bulletin 
    
2016 - 2017 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: CS 2490 (Intro to Theoretical Computer Science).
[Dual-listed with CS 4550.]