omitir hasta el contenido
Elements of the theory of computation Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Elements of the theory of computation

Autor: Harry R Lewis; Christos H Papadimitriou
Editorial: Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
Serie: Prentice-Hall software series.
Edición/Formato:   Print book : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Resumen:

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

Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en línea

Enlaces a este material

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Formato físico adicional: Online version:
Lewis, Harry R.
Elements of the theory of computation.
Englewood Cliffs, N.J. : Prentice-Hall, ©1981
(OCoLC)571519642
Tipo de material: Recurso en Internet
Tipo de documento: Libro/Texto, Recurso en Internet
Todos autores / colaboradores: Harry R Lewis; Christos H Papadimitriou
ISBN: 0132734176 9780132734172
Número OCLC: 6707094
Descripción: xiv, 466 pages : illustrations ; 24 cm.
Contenido: Sets, relations, and languages --
Finite automata --
Context-free languages --
Turing machines --
Church's thesis --
Uncomputability --
Computational complexity --
The propositional calculus --
The predicate calculus.
Título de la serie: Prentice-Hall software series.
Responsabilidad: Harry R. Lewis, Christos H. Papadimitriou.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


Primary Entity

<http://www.worldcat.org/oclc/6707094> # Elements of the theory of computation
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "6707094" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/592873#Place/englewood_cliffs_n_j> ; # Englewood Cliffs, N.J.
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automate_fini> ; # automate fini
   schema:about <http://dewey.info/class/001.535/e19/> ;
   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#Topic/logique_mathematique> ; # logique mathématique
   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/informatica> ; # Informatica
   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#Topic/fonctions_calculables> ; # Fonctions calculables
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   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/complexite_calcul> ; # complexité calcul
   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/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/machine_turing> ; # machine Turing
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/calcul_propositionnel> ; # calcul propositionnel
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langage_formel> ; # langage formel
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   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/automatentheorie> ; # Automatentheorie
   schema:about <http://dewey.info/class/511/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
   schema:about <http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> ; # Langages formels
   schema:author <http://experiment.worldcat.org/entity/work/data/592873#Person/papadimitriou_christos_h> ; # Christos H. Papadimitriou
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1981" ;
   schema:creator <http://viaf.org/viaf/44438248> ; # Harry R. Lewis
   schema:datePublished "1981" ;
   schema:description "Sets, relations, and languages -- Finite automata -- Context-free languages -- Turing machines -- Church's thesis -- Uncomputability -- Computational complexity -- The propositional calculus -- The predicate calculus."@en ;
   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:isSimilarTo <http://www.worldcat.org/oclc/571519642> ;
   schema:name "Elements of the theory of computation"@en ;
   schema:productID "6707094" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/6707094#PublicationEvent/englewood_cliffs_n_j_prentice_hall_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/592873#Agent/prentice_hall> ; # Prentice-Hall
   schema:url <http://www.gbv.de/dms/bowker/toc/9780132734172.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780132734172> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/6707094> ;
    .


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#Person/papadimitriou_christos_h> # Christos H. Papadimitriou
    a schema:Person ;
   schema:familyName "Papadimitriou" ;
   schema:givenName "Christos H." ;
   schema:name "Christos H. Papadimitriou" ;
    .

<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/6707094> ; # 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/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des"@fr ;
    .

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

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

<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)"@en ;
   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"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/592873#Topic/langages_formels> # Langages formels
    a schema:Intangible ;
   schema:name "Langages formels"@en ;
   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"@en ;
    .

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

<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"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

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

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

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

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

<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://www.worldcat.org/oclc/571519642>
    a schema:CreativeWork ;
   rdfs:label "Elements of the theory of computation." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/6707094> ; # Elements of the theory of computation
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.