aller au contenu
Computability : a mathematical sketchbook Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Computability : a mathematical sketchbook

Auteur : D S Bridges
Éditeur: New York : Springer-Verlag, ©1994.
Collection: Graduate texts in mathematics, 146.
Édition/format:   Livre imprimé : AnglaisVoir toutes les éditions et tous les formats
Résumé:
Computability: A Mathematical Sketchbook is a concise, rigorous introduction to the theory of computation. Using Turing machines as models of computers, the author develops major themes of computability theory, culminating in a systematic account of Blum's abstract complexity measures. One of the book's unique aspects is the inclusion of a chapter on computable real numbers and elementary computable analysis.  Lire la suite...
Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format – détails additionnels: Online version:
Bridges, D.S. (Douglas S.), 1945-
Computability.
New York : Springer-Verlag, ©1994
(OCoLC)622276927
Type d’ouvrage: Ressource Internet
Type de document: Livre, Ressource Internet
Tous les auteurs / collaborateurs: D S Bridges
ISBN: 0387941746 9780387941745 3540941746 9783540941743
Numéro OCLC: 28891770
Description: ix, 178 pages : illustrations ; 25 cm.
Contenu: 1. What Is a Turing Machine? --
2. Computable Partial Functions --
3. Effective Enumerations --
4. Computable Numbers and Functions --
5. Rice's Theorem and the Recursion Theorem --
6. Abstract Complexity Theory.
Titre de collection: Graduate texts in mathematics, 146.
Responsabilité: Douglas S. Bridges.
Plus d’informations:

Résumé:

Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, Computability: A Mathematical Sketchbook provides a brief but rigorous introduction to the  Lire la suite...

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


Primary Entity

<http://www.worldcat.org/oclc/28891770> # Computability : a mathematical sketchbook
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "28891770" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/806896684#Topic/logica> ; # Logica
    schema:about <http://dewey.info/class/511.3/e20/> ;
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/806896684#Topic/fonctions_calculables> ; # Fonctions calculables
    schema:about <http://experiment.worldcat.org/entity/work/data/806896684#Thing/mathematical_logic> ; # Mathematical logic
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1994" ;
    schema:creator <http://viaf.org/viaf/66533660> ; # Douglas S. Bridges
    schema:datePublished "1994" ;
    schema:description "Computability: A Mathematical Sketchbook is a concise, rigorous introduction to the theory of computation. Using Turing machines as models of computers, the author develops major themes of computability theory, culminating in a systematic account of Blum's abstract complexity measures. One of the book's unique aspects is the inclusion of a chapter on computable real numbers and elementary computable analysis. Exercises and solutions form an integral part of the material. The book is suitable for self-study and provides excellent course materials for senior and graduate-level students in mathematics and computer science."@en ;
    schema:description "1. What Is a Turing Machine? -- 2. Computable Partial Functions -- 3. Effective Enumerations -- 4. Computable Numbers and Functions -- 5. Rice's Theorem and the Recursion Theorem -- 6. Abstract Complexity Theory."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/806896684> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/806896684#Series/graduate_texts_in_mathematics> ; # Graduate texts in mathematics ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/622276927> ;
    schema:name "Computability : a mathematical sketchbook"@en ;
    schema:productID "28891770" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/28891770#PublicationEvent/new_york_springer_verlag_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/806896684#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://swbplus.bsz-bw.de/bsz037795937cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9780387941745> ;
    schema:workExample <http://worldcat.org/isbn/9783540941743> ;
    umbel:isLike <http://d-nb.info/940641348> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9424850> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/28891770> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/806896684#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/806896684#Series/graduate_texts_in_mathematics> # Graduate texts in mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28891770> ; # Computability : a mathematical sketchbook
    schema:name "Graduate texts in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/806896684#Thing/mathematical_logic> # Mathematical logic
    a schema:Thing ;
    schema:name "Mathematical logic" ;
    .

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

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

<http://viaf.org/viaf/66533660> # Douglas S. Bridges
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Bridges" ;
    schema:givenName "Douglas S." ;
    schema:givenName "D. S." ;
    schema:name "Douglas S. Bridges" ;
    .

<http://worldcat.org/isbn/9780387941745>
    a schema:ProductModel ;
    schema:isbn "0387941746" ;
    schema:isbn "9780387941745" ;
    .

<http://worldcat.org/isbn/9783540941743>
    a schema:ProductModel ;
    schema:isbn "3540941746" ;
    schema:isbn "9783540941743" ;
    .

<http://www.worldcat.org/oclc/622276927>
    a schema:CreativeWork ;
    rdfs:label "Computability." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/28891770> ; # Computability : a mathematical sketchbook
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.