2022-2023 Undergraduate Catalog 
    
    Apr 02, 2025  
2022-2023 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 202 and CS 303, 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 2025 Class Schedule

Click here for the Spring 2026 Class Schedule

Click here for the Summer 2026 Class Schedule



Add to Portfolio (opens a new window)
Catalog Navigation
Catalog Home
Academic Calendar
The University
Admission Requirements and Regulations
Fees, Expenses, and Financial Aid
Undergraduate Academic Information
University Foundational Studies
Honors College
Student Affairs
Colleges and Departments
Programs by Department
Programs
Online Programs
Degree Maps
Courses
Transfer Initiatives
Credit for Prior Learning
Professional Certification and Licensure
Campus Map
University Trustees and Administration
Archived Catalogs
My Portfolio