2019-2020 Undergraduate Academic Catalogue 
    
    Apr 20, 2024  
2019-2020 Undergraduate Academic Catalogue [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 478 - Theory of Computation

(3.00 cr.)

Basic results on the capabilities, limitations, and applications of formal models of computation. Includes finite state machines, push down automata, grammars, computable and noncomputable functions, and NP-completeness.

Prerequisite: CS 302  or CS 312 ; CS 295  or MA 295  or MA 395 .
Sessions Typically Offered: Fall
Years Typically Offered: Varies



Add to Portfolio (opens a new window)