2020-2021 Catalog 
    
    Dec 11, 2024  
2020-2021 Catalog [ARCHIVED CATALOG]

CS 380 - Theory of Computation


A study of the formal theories underlying computer science. Topics include Turing machines, automata theory, recursive functions, computability, and formal languages. Prerequisites: CS 270  or consent, MATH 250 . Fall (Group II)