View schedules for

all classes   full term (12 week) 5/16-8/04   session 1 (4 week) 5/16-6/10   session 2 (8 week) 6/13-8/04   session 2a (1st half) 6/13-7/08   session 2b (2nd half) 7/11-8/04   evenings

CS 273
Intro to Theory of Computation

Credit:  3 hours.

This course satisfies the General Education Criteria for a
Quant Reasoning II course.

Finite automata and regular languages; pushdown automata and context-free languages; Turing machines and recursively enumerable sets; computability and the halting problem; undecidable problems; computational complexity and NP-completeness. Prerequisite: CS 125 and either CS 173 or MATH 213.