CSE 540 Back to Graduate Courses

Course CSE540
Title Theory of Computation
Description

Models of computation: finite-state machines, stack machines, Turing machines, Church's thesis; Computability theory: halting problem and unsolvability, introductory recursion theory; Complexity theory: complexity measures, time and space hierarchy, NP-complete problems.

Prerequisite

CSE 303

Credit Information 3 - credits
Course Goals  
Course Webpage http://www.cs.sunysb.edu/~cse540
Department of Computer Science • Stony Brook University, Stony Brook, NY 11794-4400 • 631-632-8470 or 631-632-8471