May 24, 2020  
University Catalog 2013-2014 (ARCHIVED CATALOG) 
    
University Catalog 2013-2014 (ARCHIVED CATALOG) [ARCHIVED CATALOG]

Add to Portfolio

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