2024-2025 Graduate Catalog 
    
    Mar 23, 2025  
HELP
2024-2025 Graduate Catalog
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CS 520 - Theory of Computation

3 Credits
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 or CS 303.


Click here for the Fall 2024 Class Schedule

Click here for the Spring 2025 Class Schedule

Click here for the Summer 2025 Class Schedule



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)
Catalog Navigation
  Catalog Home
  Academic Calendar
  University Trustees and Administration
  The University
  General Policies and Regulations
  Special Resources
  Fees, Financial and Other General Information
  Colleges
  Colleges and Departments
  Programs
  Online Programs
  Courses
  Campus Map
  Professional Certification and Licensure
  2023-2024 Graduate Catalog
  2023-2024 Graduate Catalog
  My Portfolio