Jan 30, 2026  
2026-2027 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  About K-State
  University Leadership
  Kansas Board of Regents
  University Department Heads & Administrators
  Campuses
  Statements and Disclosures
  Governance and Faculty
  Academic Calendars
  All-University Regulations
  Academic Policies and Procedures
  Graduate School Handbook
  College of Veterinary Medicine: Student/Faculty Handbook
  Tuition and Fees
  Student Financial Assistance
  Glossary and Abbreviations
  Course Description Key
  Courses
  Colleges & Departments
  Accelerated Degree Programs
  Degrees & Certificates Offered
  Online Programs
  Accreditation and Licensure
  Archived K-State Catalogs
  K-State Research and Extension
  Research Facilities and Centers
  International Programs
  Services for Students
  Support Services
  Graduate School Admissions
  KSIS
  Auxiliary Services and Facilities
  K-State Athletics
  K-State Libraries
  WebMail
  My Portfolio
HELP
2026-2027 Graduate Catalog
Add to Portfolio (opens a new window)

CIS 870 - Theory of Computability

Credits 3

Formal models for computability; universal programs; Church’s thesis; unsolvable problems and reducibilities; partial recursive functions; recursive and recursively enumerable sets; s-m-n theorem and the recursion theorem.

Repeat for Credit
Y

Requisites
Prerequisite: CIS 770.

Typically Offered
Other


Add to Portfolio (opens a new window)