Apr 18, 2024  
Graduate Catalog ARCHIVED 2014-15 
    
Catalog Navigation
  Catalog Home
  About DSU
  About DSU Graduate Programs
  Academic Calendar
  Academic Programs
  Application and Admission Information
  Policies
  Service and Facilities
  Tuition, Fees, Other Costs
  Financial Aid
  Course Descriptions
  Campus Map
  My Portfolio
HELP
Graduate Catalog ARCHIVED 2014-15 [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
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


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)