Mar 28, 2024  
2017-2018 General/Graduate Catalog - Expires August 2023 
    
2017-2018 General/Graduate Catalog - Expires August 2023 [Archived Catalog]

Add to Portfolio (opens a new window)

CS 291 - Models of Computation


Logic: propositional calculus, first-order predicate calculus. Formal reasoning: natural deduction, resolution. Applications to program correctness and automatic reasoning. Formal models of computation: regular languages, finite automata, grammars, pushdown automata, Turing machines, classes P and NP, uncomputability, the halting problem.

Prerequisites: A grade of C or better in CS 191 - Computing Structures  and completion of MATH 198 - Analytic Geometry and Calculus I .
Credits: 3
NOTE:
* This course counts toward the 63-credit Liberal Arts and Sciences (LAS) graduation requirement.



Add to Portfolio (opens a new window)