Mar 28, 2024  
University Catalog 2013-2014 
    
University Catalog 2013-2014 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 586 - Theory of Computing


(4)
Prerequisite: CS 486. Mathematical models of computation. Recursive function theory and primitive recursion. Computability and logic. Church’s Thesis, Wegner’s interaction machines, and quantum computation.



Add to Portfolio (opens a new window)