Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 2 (Studies in Logic and the Foundations of Mathematics, Vol. 143)

Valutazione media 4,25
( su 4 valutazioni fornite da Goodreads )
 
9780444502056: Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 2 (Studies in Logic and the Foundations of Mathematics, Vol. 143)

Volume II of Classical Recursion Theory describes the universe from a local (bottom-up
or synthetical) point of view, and covers the whole spectrum, from the
recursive to the arithmetical sets.

The first half of the book provides a detailed picture of the computable
sets from the perspective of Theoretical Computer Science. Besides giving a
detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity
classes, ranging from small time and space bounds to the elementary functions,
with a particular attention to polynomial time and space computability. It also
deals with primitive recursive functions and larger classes, which are of
interest to the proof theorist.

The second half of the book starts with the classical theory of recursively
enumerable sets and degrees, which constitutes the core of Recursion or
Computability Theory. Unlike other texts, usually confined to the Turing
degrees, the book covers a variety of other strong reducibilities, studying
both their individual structures and their mutual relationships. The last
chapters extend the theory to limit sets and arithmetical sets. The volume
ends with the first textbook treatment of the enumeration degrees, which
admit a number of applications from algebra to the Lambda Calculus.

The book is a valuable source of information for anyone interested in
Complexity and Computability Theory. The student will appreciate the detailed
but informal account of a wide variety of basic topics, while the specialist
will find a wealth of material sketched in exercises and asides. A massive
bibliography of more than a thousand titles completes the treatment on the
historical side.

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

Review:

Rodney G. Downey
The scope of the material is amazing. For instance, I can think of no other book with a treatment of w-REA sets inductive reference, and models of lambda calculus! This is especially gratifying in a world of continuing mathematical fragmentation.
Mathematical Reviews

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

I migliori risultati di ricerca su AbeBooks

1.

Piergiorgio Odifreddi
Editore: ELSEVIER SCIENCE TECHNOLOGY, United States (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro ELSEVIER SCIENCE TECHNOLOGY, United States, 1999. Hardback. Condizione libro: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. Volume II of Classical Recursion Theory describes the universe from a local (bottom-upor synthetical) point of view, and covers the whole spectrum, from therecursive to the arithmetical sets. The first half of the book provides a detailed picture of the computablesets from the perspective of Theoretical Computer Science. Besides giving adetailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexityclasses, ranging from small time and space bounds to the elementary functions,with a particular attention to polynomial time and space computability. It alsodeals with primitive recursive functions and larger classes, which are ofinterest to the proof theorist. The second half of the book starts with the classical theory of recursivelyenumerable sets and degrees, which constitutes the core of Recursion orComputability Theory. Unlike other texts, usually confined to the Turingdegrees, the book covers a variety of other strong reducibilities, studyingboth their individual structures and their mutual relationships. The lastchapters extend the theory to limit sets and arithmetical sets. The volumeends with the first textbook treatment of the enumeration degrees, whichadmit a number of applications from algebra to the Lambda Calculus. The book is a valuable source of information for anyone interested inComplexity and Computability Theory. The student will appreciate the detailedbut informal account of a wide variety of basic topics, while the specialistwill find a wealth of material sketched in exercises and asides. A massivebibliography of more than a thousand titles completes the treatment on thehistorical side. Codice libro della libreria EOD9780444502056

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 112,66
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

P. Odifreddi
Editore: North Holland 1999-09-07 (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro North Holland 1999-09-07, 1999. Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-ELS-00008850

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 109,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,37
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

ODIFREDDI, P.
Editore: North Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro North Holland, 1999. Hardback. Condizione libro: NEW. 9780444502056 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE01201554

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 146,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,02
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

ODIFREDDI, P.
Editore: North Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro North Holland, 1999. Hardback. Condizione libro: NEW. 9780444502056 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0896204

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 146,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,02
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

P. Odifreddi
Editore: North Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 1
Print on Demand
Da
Valutazione libreria
[?]

Descrizione libro North Holland, 1999. Condizione libro: New. This item is printed on demand for shipment within 3 working days. Codice libro della libreria GM9780444502056

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 162,89
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

6.

P. Odifreddi
Editore: North Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro North Holland, 1999. Hardcover. Condizione libro: New. Codice libro della libreria SONG044450205X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 189,55
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,50
In U.S.A.
Destinazione, tempi e costi

7.

Odifreddi, P.
Editore: North Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro North Holland, 1999. Hardcover. Condizione libro: New. Never used!. Codice libro della libreria P11044450205X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 200,35
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 1,66
In U.S.A.
Destinazione, tempi e costi

8.

P. Odifreddi
Editore: North Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro North Holland, 1999. Hardcover. Condizione libro: New. 1. Codice libro della libreria DADAX044450205X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 219,43
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,50
In U.S.A.
Destinazione, tempi e costi

9.

P. Odifreddi
Editore: North-Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro North-Holland, 1999. Hardcover. Condizione libro: Brand New. 1st edition. 966 pages. 9.25x7.00x2.00 inches. In Stock. Codice libro della libreria zk044450205X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 229,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,76
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

P. Odifreddi
Editore: North Holland (1999)
ISBN 10: 044450205X ISBN 13: 9780444502056
Nuovi Rilegato Prima edizione Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro North Holland, 1999. Hardcover. Condizione libro: New. book. Codice libro della libreria M044450205X

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 253,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi