MIT OpenCourseWare
  • OCW home
  • Course List
  • about OCW
  • Help
  • Feedback
  • Support MIT OCW

18.404J / 6.840J Theory of Computation, Fall 2006

Venn diagram of some major computational complexity classes.
Computer scientists are still investigating whether some computational complexity classes of decision problems may in fact be equal. A famous open area in computer science is the "Does P=NP?" question: are all YES/NO problems that can be verified quickly (NP) actually problems that can be directly solved quickly (P)? The Clay Mathematics Institute offers a $1 million reward for a proof to this question. (Image courtesy of Kayla Jacobs.)

Highlights of this Course

This course features readings, assignments, and practice exams.

Course Description

This graduate level course is more extensive and theoretical treatment of the material in Computability, and Complexity (6.045J / 18.400J). Topics include Automata and Language Theory, Computability Theory, and Complexity Theory.


Prof. Michael Sipser

Course Meeting Times

Two sessions / week
1.5 hours / session

One session / week
1 hour / session



Additional Features

Download this course


Send feedback about OCW or this course.