Jan 28, 2025  
2009-2010 UMass Dartmouth Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Accreditation
  Academic Calendar
  Introduction to the University
  Mission and Vision Statements
  Master List of Academic Programs
  Trustees, Officers, Administrators, and Faculty
  Colleges, Departments, and Programs
  Degrees and Other Programs Offered
  Search Courses by Department
  Search Courses by Prefix
  Admission to the University
  Special Admission Opportunities: College Now
  Expenses and Student Financial Services
  Academic Regulations and Procedures
  Special Learning Opportunities
  Advanced Learning Opportunities: Honors Program
  The Campus Experience: Services and Support
  Research, Outreach, and Service
  Professional and Continuing Education
  Key to the Listings of Courses and Programs
  Directions for Correspondence or Inquiries

  Campus Visits
  Leadership and Civic Engagement
HELP
2009-2010 UMass Dartmouth Undergraduate Catalog [Archived Catalog]

CIS 421 - Introduction to the Theory of Computing

3 credits
3 hours lecture
Prerequisites: CIS 361
Several of the most significant models of computation will be reviewed, i.e., Turing machines, 1-calculus, predicate calculus. The traditional undecidibility results will be covered, along with the attempts to overcome the resulting limitations in restricted situations. Mechanical theorem provers will be considered. The resolution and unification predicate calculus methods will be discussed along with appropriate PROLOG programming assignments. The Boyer-Moore approach will be discussed, along with LISP programming assignments.