Articoli correlati a Turing Computability: Theory and Applications

Turing Computability: Theory and Applications - Brossura

Soare, Robert I.

 
9783642319341: Turing Computability: Theory and Applications
Brossura
ISBN 10: 3642319343 ISBN 13: 9783642319341
Casa editrice: Springer, 2016

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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 Øʹʹ.- Chap. 13 Minimal Degrees Below Øʹ.- 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
3642319343
ISBN 13 
9783642319341
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783642319327: Turing Computability: Theory and Applications

Edizione in evidenza

ISBN 10:  3642319327 ISBN 13:  9783642319327
Casa editrice: Springer-Nature New York Inc, 2016
Rilegato