skip to content
Introduction to the theory of computation Preview this item
ClosePreview this item
Checking...

Introduction to the theory of computation

Author: Michael Sipser
Publisher: Boston : Thomson, 2006.
Edition/Format:   Print book : English : 2. ed., intern. edView all editions and formats
Summary:

A text on computational theory. It provides a mathematical treatment of computer science theory designed around theorems and proofs.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: 0 Gesamtdarstellung
Document Type: Book
All Authors / Contributors: Michael Sipser
ISBN: 0619217642 9780619217648
OCLC Number: 255438743
Notes: The content of this text differs from the U.S. version.
Description: XVII, 437 Seiten : Diagramme
Contents: Introduction. Part 1: Automata and Languages. 1. Regular Languages. 2. Context-Free Languages. Part 2: Computability Theory. 3. The Church-Turing Thesis. 4. Decidability. 5. Reducibility. 6. Advanced Topics in Computability Theory. Part 3: Complexity Theory. 7. Time Complexity. 8. Space Complexity. 9. Intractability. 10. Advanced Topics in Complexity Theory. Selected Bibliography.
Responsibility: Michael Sipser.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/255438743> # Introduction to the theory of computation
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "255438743" ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://dewey.info/class/511.35/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/361977#Topic/computational_complexity> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/361977#Topic/machine_theory> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/361977#Topic/lehrbuch> ; # Lehrbuch
   schema:about <http://experiment.worldcat.org/entity/work/data/361977#Topic/theoretische_informatik_swd_id_41967355> ; # Theoretische Informatik ; SWD-ID: 41967355
   schema:about <http://experiment.worldcat.org/entity/work/data/361977#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:bookEdition "2. ed., intern. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/91421494> ; # Michael Sipser
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/361977> ;
   schema:inLanguage "en" ;
   schema:name "Introduction to the theory of computation" ;
   schema:productID "255438743" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/255438743#PublicationEvent/boston_thomson_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/361977#Agent/thomson> ; # Thomson
   schema:workExample <http://worldcat.org/isbn/9780619217648> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/255438743> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/361977#Topic/computational_complexity> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity" ;
    .

<http://experiment.worldcat.org/entity/work/data/361977#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik" ;
    .

<http://experiment.worldcat.org/entity/work/data/361977#Topic/theoretische_informatik_swd_id_41967355> # Theoretische Informatik ; SWD-ID: 41967355
    a schema:Intangible ;
   schema:name "Theoretische Informatik ; SWD-ID: 41967355" ;
    .

<http://viaf.org/viaf/91421494> # Michael Sipser
    a schema:Person ;
   schema:familyName "Sipser" ;
   schema:givenName "Michael" ;
   schema:name "Michael Sipser" ;
    .

<http://worldcat.org/isbn/9780619217648>
    a schema:ProductModel ;
   schema:isbn "0619217642" ;
   schema:isbn "9780619217648" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.