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.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Computability: 9
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G3540137211I4N01
Compra usato
EUR 27,16
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.3540137211.G
Compra usato
EUR 28,30
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Recycle Bookstore, San Jose, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. Bottom of spine has some light glue residue where more than likely a label of some sort was affixed. otherwise book is quite sharp and clean all around, with a tight binding and clean pages. Photos on request. Codice articolo 1037602
Compra usato
EUR 44,61
Spedizione EUR 4,99
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra usato
EUR 39,00
Spedizione EUR 22,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
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
Condizione: New. Codice articolo SpeedList-SL6254
Compra nuovo
EUR 31,26
Spedizione EUR 35,09
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Computability (Monographs in Theoretical Computer Science. An EATCS Series, Band 9)
Da: Buchmarie, Darmstadt, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: Good. Buchschnitt leicht verschmutzt. Ehemaliges Bibliotheksexemplar. Mit Bibliotheksstempel und Aufkleber am Buchrücken. Als übereignet gekennzeichnet. Codice articolo 2852407_c03
Compra usato
EUR 27,12
Spedizione EUR 42,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
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
Compra usato
EUR 60,23
Spedizione EUR 29,24
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili