Mar 28, 2024  
2009-2010 UMass Dartmouth Undergraduate Catalog 
    
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.