skip to content
Turing Computability : Theory and Applications Preview this item
ClosePreview this item
Checking...

Turing Computability : Theory and Applications

Author: Robert I Soare
Publisher: Berlin, Heidelberg Springer Berlin Heidelberg 2016.
Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Edition/Format:   eBook : EnglishView all editions and formats
Summary:

This book emphasizes three very important concepts: computability, as opposed to recursion or induction; classical computability; and the art of computability, a skill to be practiced but also  Read more...

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

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Robert I Soare
ISBN: 9783642319334 3642319335 9783642319327 3642319327
OCLC Number: 953137852
Description: 1 Online-Ressource (XXXVI, 263 p. 4 illus)
Contents: Part I Foundations of Computability.- Chap. 1 Defining Computability.- Chap. 2 Computably Enumerable Sets.- Chap. 3 Turing Reducibility.- Chap. 4 The Arithmetical Hierarchy.- Chap. 5 Classifying C.E. Sets.- Chap. 6 Oracle Constructions and Forcing.- Chap. 7 The Finite Injury Method.- Part II Trees and 01 Classes.- Chap. 8 Open and Closed Classes.- Chap. 9 Basis Theorems.- Chap. 10 Peano Arithmetic and 01-Classes.- Chap. 11 Randomness and 01-Classes.- Part III Minimal Degrees.- Chap. 12 Minimal Degrees Below O''.- Chap. 13 Minimal Degrees Below O'.- Part IV Games in Computability Theory.- Chap. 14 Banach-Mazur Games.- Chap. 15 Gale-Stewart Games.- Chap. 16 More Lachlan Games.- Part V History of Computability.- Chap. 17 History of Computability.- References.- Index.
Series Title: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Responsibility: by Robert I. Soare.

Reviews

Editorial reviews

Publisher Synopsis

"At a time when computability theory is enjoying remarkable activity and fruitfulness, and benefiting from having a large number of students and young researchers, there is no question that the Read more...

 
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/953137852> # Turing Computability : Theory and Applications
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "953137852" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3295375993#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/3295375993#Topic/mathematical_logic_and_foundations> ; # Mathematical Logic and Foundations
    schema:about <http://experiment.worldcat.org/entity/work/data/3295375993#Topic/mathematics_of_computing> ; # Mathematics of Computing
    schema:about <http://experiment.worldcat.org/entity/work/data/3295375993#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3295375993#Topic/computer_science_mathematics> ; # Computer science / Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/3295375993#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/3295375993#Topic/mathematical_logic> ; # Mathematical logic
    schema:author <http://experiment.worldcat.org/entity/work/data/3295375993#Person/soare_robert_i> ; # Robert I. Soare
    schema:bookFormat schema:EBook ;
    schema:datePublished "2016" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3295375993> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/2190-619X> ; # Theory and Applications of Computability, In cooperation with the association Computability in Europe,
    schema:name "Turing Computability : Theory and Applications" ;
    schema:numberOfPages "263" ;
    schema:productID "953137852" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/953137852#PublicationEvent/2016> ;
    schema:url <http://swbplus.bsz-bw.de/bsz47396774xcov.htm> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-31933-4> ;
    schema:url <https://doi.org/10.1007/978-3-642-31933-4> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-20160621222> ;
    schema:url <http://www.springerlink.com/content/978-3-642-31933-4> ;
    schema:workExample <http://worldcat.org/isbn/9783642319334> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-31933-4> ;
    schema:workExample <http://worldcat.org/isbn/9783642319327> ;
    umbel:isLike <http://d-nb.info/1104171015> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/953137852> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-642-31933-4>
    a schema:IndividualProduct ;
    rdfs:comment "URL des Erstveröffentlichers" ;
    .

<http://experiment.worldcat.org/entity/work/data/3295375993#Person/soare_robert_i> # Robert I. Soare
    a schema:Person ;
    schema:familyName "Soare" ;
    schema:givenName "Robert I." ;
    schema:name "Robert I. Soare" ;
    .

<http://experiment.worldcat.org/entity/work/data/3295375993#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science" ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3295375993#Topic/computer_science_mathematics> # Computer science / Mathematics
    a schema:Intangible ;
    schema:name "Computer science / Mathematics" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3295375993#Topic/mathematical_logic_and_foundations> # Mathematical Logic and Foundations
    a schema:Intangible ;
    schema:name "Mathematical Logic and Foundations" ;
    .

<http://experiment.worldcat.org/entity/work/data/3295375993#Topic/mathematics_of_computing> # Mathematics of Computing
    a schema:Intangible ;
    schema:name "Mathematics of Computing" ;
    .

<http://experiment.worldcat.org/entity/work/data/3295375993#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation" ;
    .

<http://worldcat.org/isbn/9783642319327>
    a schema:ProductModel ;
    schema:isbn "3642319327" ;
    schema:isbn "9783642319327" ;
    .

<http://worldcat.org/isbn/9783642319334>
    a schema:ProductModel ;
    schema:isbn "3642319335" ;
    schema:isbn "9783642319334" ;
    .

<http://worldcat.org/issn/2190-619X> # Theory and Applications of Computability, In cooperation with the association Computability in Europe,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/953137852> ; # Turing Computability : Theory and Applications
    schema:issn "2190-619X" ;
    schema:name "Theory and Applications of Computability, In cooperation with the association Computability in Europe," ;
    .

<https://doi.org/10.1007/978-3-642-31933-4>
    rdfs:comment "URL des Erstveröffentlichers" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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