Mar 28, 2024  
University Catalog 2017-2018 
    
University Catalog 2017-2018 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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 (opens a new window)