Apr 16, 2024  
2017-2018 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
2017-2018 UMass Dartmouth Graduate Catalog [Archived Catalog]

CIS 560 - Theoretical Comp Science

Credits 3
Lecture / 3 hours per week
Theoretical basis of the development of computer science. The course details particular formalisms used in the design of hardware and software systems. Intrinsic limitations of computation are described. Advanced topics of automata theory and analysis of algorithms are included. The course also covers Turing machines, the halting problem, models of computation, intractable computations, polynomial reductions, P vs. NP, parallel algorithms, various formal descriptions and specifications of programs and computations, and proofs of program correctness and interactive proof systems.
Graded