MIT Libraries homeMIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT OpenCourseWare (MIT OCW) - Archived Content
  • MIT OCW Archived Courses
  • Mathematics (18) - Archived
  • View Item
  • DSpace@MIT Home
  • MIT OpenCourseWare (MIT OCW) - Archived Content
  • MIT OCW Archived Courses
  • Mathematics (18) - Archived
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

18.404J / 6.840J Theory of Computation, Fall 2002

Author(s)
Sipser, Michael
Thumbnail
Download18-404JFall-2002/OcwWeb/Mathematics/18-404JTheory-of-ComputationFall2002/CourseHome/index.htm (15.69Kb)
Alternative title
Theory of Computation
Terms of use
Usage Restrictions: This site (c) Massachusetts Institute of Technology 2003. Content within individual courses is (c) by the individual authors unless otherwise noted. The Massachusetts Institute of Technology is providing this Work (as defined below) under the terms of this Creative Commons public license ("CCPL" or "license"). The Work is protected by copyright and/or other applicable law. Any use of the work other than as authorized under this license is prohibited. By exercising any of the rights to the Work provided here, You (as defined below) accept and agree to be bound by the terms of this license. The Licensor, the Massachusetts Institute of Technology, grants You the rights contained here in consideration of Your acceptance of such terms and conditions.
Metadata
Show full item record
Abstract
A more extensive and theoretical treatment of the material in 6.045J/18.400J, emphasizing computability and computational complexity theory. Regular and context-free languages. Decidable and undecidable problems, reducibility, recursive function theory. Time and space measures on computation, completeness, hierarchy theorems, inherently complex problems, oracles, probabilistic computation, and interactive proof systems.
Date issued
2002-12
URI
http://hdl.handle.net/1721.1/39661
Other identifiers
18.404J-Fall2002
local: 18.404J
local: 6.840J
local: IMSCP-MD5-6ea338059dac8bc159125e8444494e71
Keywords
computability, computational complexity theory, Regular and context-free languages, Decidable and undecidable problems, reducibility, recursive function theory, Time and space measures on computation, completeness, hierarchy theorems, inherently complex problems, oracles, probabilistic computation, interactive proof systems, 18.404J, 6.840J, 18.404, 6.840

Collections
  • Electrical Engineering and Computer Science (6) -
  • Mathematics (18) - Archived

Related items

Showing items related by title, author, creator and subject.

  • Thumbnail

    4.206 Introduction to Design Computing, Spring 2004 

    Sass, Lawrence (2004-06)
    Explores the role of computer visualization as a representational medium. Visualization is widely used in scientific, engineering, and design disciplines to help people understand complex phenomena and constructs. The key ...
  • Thumbnail

    4.500 Introduction to Design Computing, Spring 2006 

    Sass, Lawrence (2006-06)
    This course introduces students to architectural design and computation through the use of computer modeling, rendering, and digital fabrication. The focus is on the exploration of space and place-making through the use ...
  • Thumbnail

    4.510 Digital Design Fabrication, Fall 2005 

    Sass, Lawrence (2005-12)
    This class serves as an introductory subject in advanced computing, rapid prototyping, and CAD/CAM fabrication for architects. It focuses on the relationship between design and various forms of computer modeling as input, ...

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries homeMIT Libraries logo

Find us on

Twitter Facebook Instagram YouTube RSS

MIT Libraries navigation

SearchHours & locationsBorrow & requestResearch supportAbout us
PrivacyPermissionsAccessibility
MIT
Massachusetts Institute of Technology
Content created by the MIT Libraries, CC BY-NC unless otherwise noted. Notify us about copyright concerns.