Articoli correlati a Computability: 9
Sinossi
Intends to lay a common basis for the different branches of recursion theory. Leads from the very basic theory to modern concepts of computability. Consists of three consecutive parts: 1. Basic Concepts of Computability. 2. Traditional Recursion Theory. 3. Unified Type 2 theory of constructivity and computability on Baire's space including a general the- ory of representations.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 63,81
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Computability: 9
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series, 9, Band 9)
Da: Buchmarie, Darmstadt, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Buchschnitt leicht verschmutzt. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet. Codice articolo 2852407_c03
Quantità: 1 disponibili
Immagini fornite dal venditore
Computability (Monographs in Theoretical Computer Science. An EATCS Series, 9, Band 9)
Da: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, Germania
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Sehr gut. Auflage: 1. 527 Seiten 9783540137214 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 992. Codice articolo 89651
Quantità: 1 disponibili
Immagini fornite dal venditore
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Editore:
Springer 29.04.1987., 1987
ISBN 10: 3540137211
ISBN 13: 9783540137214
Antico o usato
Rilegato
Da: NEPO UG, Rüsselsheim am Main, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. 517 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 24,0 x 17,0 x 3,0 cm, Gebundene Ausgabe. Codice articolo 368119
Quantità: 1 disponibili
Foto dell'editore
Computability .
Editore:
Berlin [u.a.], Springer, 1987., 1987
ISBN 10: 3540137211
ISBN 13: 9783540137214
Antico o usato
Rilegato
Da: Ganymed - Wissenschaftliches Antiquariat, Meldorf, Germania
Valutazione del venditore 5 su 5 stelle
Gr.-8°. X, 517 Pages. Original Hardcover-Volume. 1st Edition (1987). X, 517 Pages. Very Go0od Condition. No Markings in the Text! No Underlinings! No Owner's Note! (EATCS - Monographs on Theoretical Computer Science). Codice articolo 36433BB
Quantità: 1 disponibili
Foto dell'editore
Computability
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-341606
Quantità: 1 disponibili
Foto dell'editore
Computability
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-273346
Quantità: 1 disponibili
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Da: StainesBook, Weybridge, SURRE, Regno Unito
Valutazione del venditore 1 su 5 stelle
Codice articolo SpeedList-SL6254
Quantità: 1 disponibili
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Cloth. Condizione: Very Good. Type: Book Small plain label inside cover. Codice articolo 052913
Quantità: 1 disponibili
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Codice articolo SHUB341606
Quantità: 1 disponibili
Foto dell'editore
Computability
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. x + 517. Codice articolo 261739981
Quantità: 1 disponibili