Apr 20, 2024  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog [ARCHIVED CATALOG]

COS 550 - Theoretical Computer Science I


A survey of automata theory, formal languages, undecidability and computational complexity.

Prerequisites & Notes
COS 301 and COS 250.

Credits: 3