Aug 20, 2019  
Undergraduate Catalog 2012-2013 
    
Undergraduate Catalog 2012-2013 [ARCHIVED CATALOG]

CSCI 36500 - Computer Theory II


GER 3/B
Turing machines, Post machines, Post’s theorem, Minsky’s theorem. Determinism and non-determinism. Undecidability, the halting problem. Recursive function theory.
prereq: CSCI 265
3 hrs 3 cr.