Apr 16, 2024  
2011-2012 Undergraduate Catalog 
    
2011-2012 Undergraduate Catalog [ARCHIVED CATALOG]

COS 550 - Theoretical Computer Science I


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

Prerequisites
COS 250 and COS 301.

Credits: 3