Berechenbarkeit und Unlösbarkeit [electronic resource] : Eine kurze Einführung für Mathematiker und Informatiker /

1. Turing Berechenbarkeit -- 1.1. Turingmaschinen -- 1.2. Programmierung von Turingmaschinen -- 1.3. Turing-berechenbare Funktionen -- 2. Partiell rekursive Funktionen -- 2.1. Rekursive Funktionen -- 2.2. Folgenzahlen -- 2.3. Definition durch Rekursion -- 2.4. Rekursivität der Turing-berechenbaren Funktionen -- 2.5. Indexfunktionen -- 3. Unlösbarkeit -- 3.1. Aufzählbarkeit -- 3.2. Arithmetische Prädikate -- 3.3. Unlösbare Problemklassen -- 4. Abstrakte Berechenbarkeitsbegriffe -- 4.1. Axiomatische Kennzeichnung -- 4.2. Verwandtschaft von Berechenbarkeitsbegriffen -- Aufgaben -- Anhang 1: Zur Bedeutung der verwendeten logischen Symbole -- Anhang 2: Zu den Begriffen der Funktion und der Relation -- Anhang 3: Erklärung einiger Bezeichnungen -- Literaturhinweise -- Stichwörterverzeichnis.