Algorithms for Constructing Computably Enumerable Sets
Springer International Publishing (Verlag)
978-3-031-26906-6 (ISBN)
1 Index of notation and terms.- 2 Set theory, requirements, witnesses.- 3 What’s new in this chapter?.- 4 Priorities (a splitting theorem).- 5 Reductions, comparability (Kleene-Post Theorem).- 6 Finite injury (Friedberg-Muchnik Theorem).- 7 The Permanence Lemma.- 8 Permitting (Friedberg-Muchnik below C Theorem).- 9 Length of agreement (Sacks Splitting Theorem).- 10 Introduction to infinite injury.- 11 A tree of guesses (Weak Thickness Lemma).- 12 An infinitely branching tree (Thickness Lemma).- 13 True stages (another proof of the Thickness Lemma).- 14 Joint custody (Minimal Pair Theorem).- 15 Witness lists (Density Theorem).- 16 The theme of this book: delaying tactics.- Appendix A: a pairing function.- Bibliograph.- Solutions to selected exercises.
“The book is organized as a mathematics or theoretical computer science (CS) textbook. Theorems and lemmas, as well as pseudocode, demonstrate the solutions, and each chapter concludes with exercises. A very useful chapter summary describes the resultspresented in the chapter through a semiformal explanation.” (Bálint Molnár, Computing Reviews, November 15, 2023)
Erscheinungsdatum | 12.06.2024 |
---|---|
Reihe/Serie | Computer Science Foundations and Applied Logic |
Zusatzinfo | XIV, 183 p. 46 illus., 4 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | Computability Theory • Computable Enumerability • Diagonalization • Enumerable sets • Finite Injury • infinite injury • Permitting Argument • Priority Tree • recursion theory • Sacks Density Theorem • Turing reduction |
ISBN-10 | 3-031-26906-3 / 3031269063 |
ISBN-13 | 978-3-031-26906-6 / 9783031269066 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich