Rekursive Funktionen

"Rekursive Funktionen" von Friedrich-K Mahn ist ein Fachbuch, das sich mit der Theorie der rekursiven Funktionen befasst, einem zentralen Thema in der mathematischen Logik und theoretischen Informatik. Das Buch bietet eine umfassende Einführung in die Grundlagen und Konzepte rekursiver Funktionen, einschließlich ihrer Definitionen, Eigenschaften und Anwendungen. Es behandelt Themen wie primitive Rekursion, μ-Rekursion und die Rolle dieser Funktionen bei der Lösung von Entscheidungsproblemen. Mahn legt besonderen Wert auf die formale Herleitung und Beweisführung sowie auf die Darstellung komplexer Zusammenhänge in verständlicher Form. Das Buch richtet sich an Studierende und Fachleute aus den Bereichen Mathematik, Informatik und verwandten Disziplinen, die ein tieferes Verständnis für die Struktur und Bedeutung rekursiver Prozesse erlangen möchten.