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

Elements of the theory of computation

Author: Harry R Lewis; Christos H Papadimitriou
Publisher: Englewood Cliffs, N.J., Prentice-Hall. 1981 :
Series: Prentice-Hall software series.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

A general, yet comprehensive, introduction to the classical and contemporary theory of computation.

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

Document Type: Book
All Authors / Contributors: Harry R Lewis; Christos H Papadimitriou
ISBN: 0132734176 9780132734172 0132734265 9780132734264
OCLC Number: 299372519
Description: xiv, 466 p. : illustrations.
Contents: 1. Sets, Relations, and Languages. 2. Finite Automata. 3. Context-Free Languages. 4. Turing Machines. 5. Church's Thesis. 6. Uncomputability. 7. Computational Complexity. 8. The Propositional Calculus. 9. The Predicate Calculus.
Series Title: Prentice-Hall software series.
Responsibility: Harry R. Lewis, Christos H. Papadimitriou.

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/299372519> # Elements of the theory of computation
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "299372519" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/592873#Place/englewood_cliffs_n_j> ; # Englewood Cliffs, N.J.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/berechenbarkeit> ; # Berechenbarkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_des_langages_informatique> ; # théorie des langages (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> ; # Langages formels
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_algebrique> ; # langage algébrique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automatentheorie> ; # Automatentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/langage> ; # Langage
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/fonction> ; # Fonction
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automate_informatique> ; # automate (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/machine_turing> ; # machine Turing
   schema:about <http://dewey.info/class/511/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_calcul> ; # complexité calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/theorie> ; # Theorie
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/recursif> ; # Recursif
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/logique> ; # Logique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automate_fini> ; # automate fini
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_propositionnel> ; # calcul propositionnel
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/symbolique> ; # Symbolique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_des_automates> ; # Théorie des automates
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/machine> ; # Machine
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/ordinateur> ; # Ordinateur
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/complexite> ; # Complexite
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/informatique> ; # Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/automate> ; # Automate
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/fonctions_calculables> ; # Fonctions calculables
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/turing> ; # Turing
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_de_calcul_informatique> ; # complexité de calcul (informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/formale_sprache> ; # Formale Sprache
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/these_church> ; # thèse Church
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/calcul> ; # Calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/formalise> ; # Formalise
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_calcul> ; # théorie calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_formel> ; # langage formel
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique> ; # logique symbolique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/formalisation> ; # Formalisation
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_predicat> ; # calcul prédicat
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_mathematique> ; # logique mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Thing/mathematique> ; # Mathematique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/37007186> ; # Christos H. Papadimitriou
   schema:creator <http://viaf.org/viaf/44438248> ; # Harry R. Lewis
   schema:datePublished "1981 :" ;
   schema:datePublished "1981" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/592873> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/592873#Series/prentice_hall_software_series> ; # Prentice-Hall software series.
   schema:name "Elements of the theory of computation" ;
   schema:numberOfPages "466" ;
   schema:productID "299372519" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/299372519#PublicationEvent/englewood_cliffs_n_j_1981_prentice_hall> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/592873#Agent/prentice_hall> ; # Prentice-Hall.
   schema:workExample <http://worldcat.org/isbn/9780132734172> ;
   schema:workExample <http://worldcat.org/isbn/9780132734264> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/299372519> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/592873#Agent/prentice_hall> # Prentice-Hall.
    a bgn:Agent ;
   schema:name "Prentice-Hall." ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Place/englewood_cliffs_n_j> # Englewood Cliffs, N.J.
    a schema:Place ;
   schema:name "Englewood Cliffs, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Series/prentice_hall_software_series> # Prentice-Hall software series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/299372519> ; # Elements of the theory of computation
   schema:name "Prentice-Hall software series." ;
   schema:name "Prentice-Hall software series" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/automate_informatique> # automate (informatique)
    a schema:Intangible ;
   schema:name "automate (informatique)" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_propositionnel> # calcul propositionnel
    a schema:Intangible ;
   schema:name "calcul propositionnel" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
   schema:name "complexité calcul" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/complexite_de_calcul_informatique> # complexité de calcul (informatique)
    a schema:Intangible ;
   schema:name "complexité de calcul (informatique)" ;
   schema:name "Complexité de calcul (informatique)" ;
   schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/fonctions_calculables> # Fonctions calculables
    a schema:Intangible ;
   schema:name "Fonctions calculables" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_algebrique> # langage algébrique
    a schema:Intangible ;
   schema:name "langage algébrique" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> # Langages formels
    a schema:Intangible ;
   schema:name "Langages formels" ;
   schema:name "Langages formels"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
   schema:name "logique mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
   schema:name "logique symbolique" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique" ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik" ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_des_automates> # Théorie des automates
    a schema:Intangible ;
   schema:name "Théorie des automates"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/592873#Topic/theorie_des_langages_informatique> # théorie des langages (informatique)
    a schema:Intangible ;
   schema:name "théorie des langages (informatique)" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
   schema:name "Machine theory" ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity" ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
   schema:name "Formal languages" ;
    .

<http://viaf.org/viaf/37007186> # Christos H. Papadimitriou
    a schema:Person ;
   schema:familyName "Papadimitriou" ;
   schema:givenName "Christos H." ;
   schema:name "Christos H. Papadimitriou" ;
    .

<http://viaf.org/viaf/44438248> # Harry R. Lewis
    a schema:Person ;
   schema:familyName "Lewis" ;
   schema:givenName "Harry R." ;
   schema:name "Harry R. Lewis" ;
    .

<http://worldcat.org/isbn/9780132734172>
    a schema:ProductModel ;
   schema:isbn "0132734176" ;
   schema:isbn "9780132734172" ;
    .

<http://worldcat.org/isbn/9780132734264>
    a schema:ProductModel ;
   schema:isbn "0132734265" ;
   schema:isbn "9780132734264" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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