Recursively Enumerable Sets and Degrees

A Study of Computable Functions and Computably Generated Sets

(Autor)

Buch | Hardcover
XVIII, 437 Seiten
1999 | 1., st ed. 1987. 2nd printing 1999
Springer Berlin (Verlag)
978-3-540-15299-6 (ISBN)

Lese- und Medienproben

Recursively Enumerable Sets and Degrees - Robert I. Soare
117,65 inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists." Acta Scientiarum Mathematicarum, Ungarn 1988 ..."The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recurseively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be." Zentralblatt für Mathematik, 623.1988
Erscheint lt. Verlag 26.2.2001
Reihe/Serie Perspectives in Mathematical Logic
Zusatzinfo XVIII, 437 p.
Sprache englisch
Maße 155 x 235 mm
Gewicht 786 g
Einbandart gebunden
Themenwelt Mathematik / Informatik Mathematik
Schlagworte comptutation • Mathematical Logic • Mathematische Logik • Menge (mathemat.) • Menge (Mathematik) • recursion theory • theoretical computer science
ISBN-10 3-540-15299-7 / 3540152997
ISBN-13 978-3-540-15299-6 / 9783540152996
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Von Logik und Mengenlehre bis Zahlen, Algebra, Graphen und …

von Bernd Baumgarten

Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
69,95
fundiert, vielseitig, praxisnah

von Friedhelm Padberg; Christiane Benz

Buch | Softcover (2021)
Springer Berlin (Verlag)
32,99