Dec 11, 2024  
Graduate Catalog ARCHIVED 2015-16 
    
Graduate Catalog ARCHIVED 2015-16 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CSC 720 - Theory of Computation

3 credits
Formal models of computation.  Recursive function theory, computable functions, decidable and enumerable sets, unsolvable programs, correctness of programs, undecidability and incompleteness and complexity of computation. Prerequisite(s): CSC 300 Data Structures



Add to Portfolio (opens a new window)