2018-2019 Graduate Catalog 
    
    Mar 29, 2024  
2018-2019 Graduate Catalog [Archived Catalog]

Add to Personal Catalog (opens a new window)

CSC 720 - Theory of Computation (COM)

Credits: 3
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. Prerequisites: CSC 445.


Check Course Availability




Add to Personal Catalog (opens a new window)