CSE431: Introduction to Theory of Computation

Catalog Description: Models of computation, computable and noncomputable functions, space and time complexity, tractable and intractable functions. Prerequisite: CSE 312.

Prerequisites: CSE 312
Credits: 3.0
ABET Outcomes:
This course contributes to the following ABET outcomes:
(a) an ability to apply knowledge of mathematics, science, and engineering

Portions of the CSE431 web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly creditied. The CSE431 Web: © 1993-2017, Department of Computer Science and Engineering, Univerity of Washington. Administrative information on CSE431 (authentication required).