Articoli correlati a Recursion Theory: No. 1
Sinossi
These notes originated in a one semester course given several times at Duke University. Students were generally graduate students in mathematics or computer science. They were expected to have a considerable degree of mathematical maturity. While there were no specific prerequisites, it was desirable that the student has some knowledge of elementary logic and computer programming. To appreciate some of the applications, it was desirable to have at least a slight acquaintance with some other mathematical topics, such as group theory and Borel sets. My main object was to prepare the student for studying advanced books and journal articles in recursion theory. I therefore attempted to introduce as many as possible of the topics which are of interest in contemporary research without going deeply into any of them. One topic usually treated in the course which did not make its way into these notes is complexity theory; I hope that someone more competent than I will write an introduction to this topic suitable for serious mathematicians. CONTENTS 1. Computability. . . . . · 1 2. Functions and Relations · 2 .3 3. The Basic Machine . 4. Macros ....... . · 5 5. Closure Properties . . .
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1. Computability.- 2. Functions and Relations.- 3. The Basic Machine.- 4. Macros.- 5. Closure Properties.- 6. Definitions of Recursive Functions.- 7. Codes.- 8. Indices.- 9. Church’s Thesis.- 10. Word Problems.- 11. Undecidable Theories.- 12. Relative Recursion.- 13. The Arithmetical Hierarchy.- 14. Recursively Enumerable Relations.- 15. Degrees.- 16. Evaluation of Degrees.- 17. Large RE Sets.- 18. Functions of Reals.- 19. The Analytical Hierarchy.- 20. The Projective Hierarchy.- Suggestions for Further Reading.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Recursion Theory: No. 1
Foto dell'editore
Recursion Theory
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2013
ISBN 10: 3540570934
ISBN 13: 9783540570936
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Tome 1. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Volume 1. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-554-939
Quantità: 1 disponibili
Immagini fornite dal venditore
Recursion theory. Lecture notes in logic; 1.
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. [4], 84 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03693 3540570934 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2513396
Quantità: 1 disponibili
Foto dell'editore
Recursion Theory
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 24211599/2
Quantità: 2 disponibili
Immagini fornite dal venditore
Recursion Theory (Lecture notes in logic, nr.1)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
1. 84 p. Unread book. Very good condition. Slight traces of storage. 9783540570936 Sprache: Englisch Gewicht in Gramm: 159 Softcover: 15.5 x 0.6 x 23.5 cm. Codice articolo 202047
Quantità: 1 disponibili