2011-2012 Undergraduate Catalog 
    
    May 08, 2024  
2011-2012 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
CS 202, CS 303.

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


Click here for the Summer 2024 Class Schedule

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)