Dec 09, 2019  
University Catalog 2016-2017 (ARCHIVED June 2017) 
    
University Catalog 2016-2017 (ARCHIVED June 2017) [ARCHIVED CATALOG]

[Add to Portfolio]

CS 5186 - Theory of Computing


(3)
Prerequisite: CS 3186. 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]