CS 273
Intro to Theory of Computation

Credit: 3 hours.

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

(C S 273) Introduction to the various aspects of the theory of computation, including the necessary background in first order predicate logic, combinatorics, and recurrence relations; asymptotics; basics of algorithm analysis; NP- completeness; formal languages and automata. Prerequisite: CS 125 and 173; or consent of instructor.