Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

   
    Dec 15, 2025  
2011-2012 Undergraduate Catalog 
    
2011-2012 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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



Add to Portfolio (opens a new window)