Apr 26, 2024  
2018-2019 Undergraduate Catalog 
    
  Catalog Home
  Notices and Updates
  About the University
  Accreditation
  Trustees & Administrative Leadership
  Academic Calendar
  Academic Policies & Procedures
  Student Rights & Responsibilities
  General Education
  Colleges, Schools, & Departments
  Academic Programs
  Course Descriptions
  Admissions
  Costs & Financial Aid
  Academic Resources
  Contact Information
  Maps & Directions
HELP
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

CS 420 - An Introduction to the Theory of Computation

3 Credit(s) | Lecture | 
Course can be counted for credit once

Description:
This course introduces such theoretical aspects of computing as models of computation, inherent limits on computation, and feasible computation. Topics include definition of computable functions (recursive functions, functions computable by Turing machines, functions computable in a programming language), unsolvability of the halting problem and related problems, the classes P and NP, finite automata, and context-free grammars.

Enrollment Requirements:
Prerequisite: CS 220 

013088:1