Dec 18, 2025  
2012-2013 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Academic Calendar
  Address from the Dean
  SDSU In Review
  Graduate Council, Administration, Board of Regents
  Admission Information
  Academic Policies
  Financial Information and Student Services
  Masters Degree Requirements
  Doctor of Pharmacy Degree Requirements
  Doctor of Philosophy Degree Requirements
  Academic Fields of Study (Majors, Minors, Certificates)
  Course Descriptions
  Faculty and Staff
  Building Abbreviations and Maps
  My Personal Catalog
HELP
2012-2013 Graduate Catalog [Archived Catalog]

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

CSC 720 - Theory of Computation

Formal models of computation. Recursive function theory, computable fuctions, decidable and enumerable sets, unsolvable programs, correctness of programs, undecidability and incompleteness and complexity of computation. Prerequisites: Pre-requisite: CSC 445. Credits: 3


Check Course Availability



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