May 06, 2024  
2014-2015 UMass Dartmouth Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Accreditation
  Academic Calendar
  Introduction to the University
  Mission and Vision Statements
  Trustees, Officers, Administrators and Faculty
  Colleges, Departments, and Programs
  Search Courses by Department
  Search Courses by Prefix
  Guide to Catalogue Entries
  Graduate Academic Programs at UMass Dartmouth
  Graduate Opportunities at UMass Dartmouth
  Admission to Graduate Study
  Application for Admission to a Graduate Program
  Expenses
  Financial Assistance
  Services and Support for Graduate Students
  Information for International Graduate Students
  University Extension
  Certificate Programs
  Registration, Academic Regulations, and Degree Requirements
  Graduate Degree Requirements
  Master’s and MFA Degree Requirements
  PhD Degree Requirements

  Campus Visits/Campus Map
  Directions for Correspondence or Inquiries

  Campus Map
HELP
2014-2015 UMass Dartmouth Graduate Catalog [Archived Catalog]

CIS 521 - Computability Theory

Credits 3
Requirements: Prerequisite: CIS 361 or equivalent, or permission of instructor
Computability of sets and functions in terms of various computation models, Church-Turing thesis. Systems of recursion equations and Post canonical systems are studied. Properties of the classes of recursive functions, recursive sets, and recursively enumerable sets are also covered.