Recursion Theory

Lecture Notes in Logic 1
 
 
A K Peters (Verlag)
  • 1. Auflage
  • |
  • erschienen am 1. Januar 2001
 
  • Buch
  • |
  • Softcover
  • |
  • 96 Seiten
978-1-56881-149-9 (ISBN)
 
This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.
  • Englisch
  • Natick
  • |
  • USA
Taylor & Francis Inc
  • Für höhere Schule und Studium
  • |
  • Für Beruf und Forschung
  • Höhe: 234 mm
  • |
  • Breite: 156 mm
  • 159 gr
978-1-56881-149-9 (9781568811499)
1568811497 (1568811497)
weitere Ausgaben werden ermittelt
Computability; Functions and Relations; The Basic Machine; Macros; Closure Properties; Definitions of Recursive Functions; Codes; Indices; Church's Thesis; Word Problems; Undecidable Theories; Relative Recursion; The Arithmetical Hierarchy; Recursively Enumerable Relations; Degrees; Evaluation of Degrees; Large RE Sets; Functions of Reals; The Analytical Hierarchy; The Projective Hierarchy

Versand in 3-4 Wochen

25,72 €
inkl. 7% MwSt.
in den Warenkorb

Abholung vor Ort? Sehr gerne!
Unsere Web-Seiten verwenden Cookies. Mit der Nutzung des WebShops erklären Sie sich damit einverstanden. Mehr Informationen finden Sie in unserem Datenschutzhinweis. Ok