Oct 16, 2019  
2017-2018 Graduate Bulletin 
2017-2018 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.]