Dec 07, 2025  
2012-2013 General Catalog 
    
2012-2013 General Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CSC 7200 Theory of Computation I (3)


Prereq.: CSC 4890 . Algorithms, computability, decidability, enumerability; formal replacements and Church’s thesis; Turing machines, primitive recursive functions, u-recursive functions; undecidable predicates.



Add to Portfolio (opens a new window)