2023-2024 Undergraduate Catalog 
    
    Jan 15, 2025  
2023-2024 Undergraduate Catalog [Archived]

Add to Portfolio (opens a new window)

CS 420 - Theory of Computation


3 Credits

Description
A sampling of the different areas of theoretical computer science: finite state concepts, formal grammars and automata, computability, Turing machines, and program verification.

Prerequisites
A grade of C or better in both CS 203 or CS 303 and CS 202 or CS 302, or consent of instructor.

Note
Open to graduate students. Graduate students are required to do additional work of a research nature.




Click here for the Fall 2024 Class Schedule

Click here for the Spring 2025 Class Schedule

Click here for the Summer 2025 Class Schedule




Add to Portfolio (opens a new window)