2023-2024 Catalog 
    
    Apr 23, 2024  
2023-2024 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: Consent of professor or MATH 250  or CS 220 . Fall, even years. (Group II)