Mar 10, 2025  
Undergraduate Catalog 2016-2017 
    
Undergraduate Catalog 2016-2017 [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.