skip to content
Computability Preview this item
ClosePreview this item
Checking...

Computability

Author: K Weihrauch
Publisher: Berlin ; New York : Springer-Verlag, ©1987.
Series: EATCS monographs on theoretical computer science, v. 9.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Weihrauch, K. (Klaus), 1943-
Computability.
Berlin ; New York : Springer-Verlag, ©1987
(OCoLC)568716581
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: K Weihrauch
ISBN: 0387137211 9780387137216 3540137211 9783540137214
OCLC Number: 15488321
Notes: Includes indexes.
Description: x, 517 pages : illustrations ; 25 cm.
Contents: Prerequisites and Notation.- 1: Basic Concepts of Computability.- 1.1 Flowcharts and Machines.- 1.2 Register Machines and Register Computability.- 1.3 Primitive Recursive and ?-Recursive Functions.- 1.4 WHILE-Programs and WHILE-Computability.- 1.5 Tape Machines.- 1.6 Stack Machines.- 1.7 Comparison of Number and Word Functions, Church's Thesis.- 1.8 Recursive and Recursively Enumerable Sets.- 1.9 The Standard Numbering ? of P(1).- 1.10 Some Unsolvable Problems.- 2: Type 1 Recursion Theory.- 2.1 The Basic Concepts of Computability Theory.- 2.2 Numberings.- 2.3 Recursive and Recursively Enumerable Sets (Continued).- 2.4 Many-one and One-one Reducibility.- 2.5 The Recursion Theorem.- 2.6 Creative, Productive, Complete Sets.- 2.7 Effective Numberings.- 2.8 Ordinal Trees and Computable Ordinals.- 2.9 Some Applications to Logic.- 2.10 Oracle Machines and Relativized Recursion Theory.- 2.11 Turing Reducibility and the Kleene Hierarchy.- 2.12 Computational Complexity.- 3: Type 2 Theory of Constructivity and Computability.- 3.1 Type 2 Computability Models.- 3.2 Recursion Theory on Baire's Space.- 3.3 Representations.- 3.4 Effective Representations.- 3.5 Complete Partial Orders.- 3.6 Type 1 Computability and Type 2 Computability.- 3.7 Solving Domain Equations.- 3.8 Applications to Analysis.- Index of Notations.
Series Title: EATCS monographs on theoretical computer science, v. 9.
Responsibility: Klaus Weihrauch.
More information:

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/15488321> # Computability
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "15488321" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/10522722#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/515.25/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/10522722#Topic/computabilidade_e_modelos_de_computacao> ; # Computabilidade e modelos de computacao
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:about <http://experiment.worldcat.org/entity/work/data/10522722#Topic/fonctions_calculables> ; # Fonctions calculables
    schema:about <http://experiment.worldcat.org/entity/work/data/10522722#Topic/fonctions_recursives> ; # Fonctions récursives
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/10522722#Topic/berechenbarkeit> ; # Berechenbarkeit
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1987" ;
    schema:creator <http://viaf.org/viaf/72539144> ; # Klaus Weihrauch
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/10522722> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/10522722#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/568716581> ;
    schema:name "Computability"@en ;
    schema:productID "15488321" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/15488321#PublicationEvent/berlin_new_york_springer_verlag_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/10522722#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://swbplus.bsz-bw.de/bsz012820016cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540137214> ;
    schema:workExample <http://worldcat.org/isbn/9780387137216> ;
    umbel:isLike <http://d-nb.info/870952684> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/15488321> ;
    .


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/10522722#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/10522722#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/15488321> ; # Computability
    schema:name "EATCS monographs on theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/10522722#Topic/computabilidade_e_modelos_de_computacao> # Computabilidade e modelos de computacao
    a schema:Intangible ;
    schema:name "Computabilidade e modelos de computacao"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/10522722#Topic/fonctions_recursives> # Fonctions récursives
    a schema:Intangible ;
    schema:name "Fonctions récursives"@fr ;
    .

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

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

<http://viaf.org/viaf/72539144> # Klaus Weihrauch
    a schema:Person ;
    schema:birthDate "1943" ;
    schema:familyName "Weihrauch" ;
    schema:givenName "Klaus" ;
    schema:givenName "K." ;
    schema:name "Klaus Weihrauch" ;
    .

<http://worldcat.org/isbn/9780387137216>
    a schema:ProductModel ;
    schema:isbn "0387137211" ;
    schema:isbn "9780387137216" ;
    .

<http://worldcat.org/isbn/9783540137214>
    a schema:ProductModel ;
    schema:isbn "3540137211" ;
    schema:isbn "9783540137214" ;
    .

<http://www.worldcat.org/oclc/568716581>
    a schema:CreativeWork ;
    rdfs:label "Computability." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/15488321> ; # Computability
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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