Jun 15, 2024  
2020/2021 University Catalog 
    
Catalog Navigation
  Catalog Home
  About SDSU
  Academic Calendars
  Summary of Curricula Offered
  Curricula by Department
  Programs by Campus Location
  Course Information
  Course Descriptions
  General Education Requirements
  Graduation Requirements for the Bachelor’s Degree
  Requirements for Master’s Degrees
  Requirements for Doctoral Degrees
  Administration and Organization
  Admission and Registration
  Tuition and Fees
  Financial Aid and Scholarships
  Division of Student Affairs
  Special Programs and Services
  Library and Information Access
  Academic Advising
  Divisions
  Colleges
  Major and Credential Codes
  Nondegree Curricula
  University Policies
  The California State University
  SDSU Imperial Valley
  SDSU Global Campus
  SDSU Campus Directory
  SDSU Campus Maps
HELP
2020/2021 University Catalog [ARCHIVED CATALOG]

CS 664 - Theory of Computability

Units: 3

Prerequisite(s): CS 562  and classified graduate standing.

Turing machines and other formal models of computation. Recursive function theory. The Ackermann function. Solvable and unsolvable problems.