Ebook: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

---

Content:
Front Matter....Pages I-X
Einf?hrende Betrachtungen ?ber Algorithmen....Pages 1-32
Turingmaschinen....Pages 33-59
µ-Rekursive Funktionen....Pages 59-95
Die ?quivalenz Von Turing-Berechenbarkeit und µ-Rekursivit?t....Pages 95-114
Rekursive Funktionen....Pages 114-142
Unentscheidbare Pr?dikate....Pages 142-187
Verschiedenes....Pages 188-240
Back Matter....Pages 241-248

---

Content:
Front Matter....Pages I-X
Einf?hrende Betrachtungen ?ber Algorithmen....Pages 1-32
Turingmaschinen....Pages 33-59
µ-Rekursive Funktionen....Pages 59-95
Die ?quivalenz Von Turing-Berechenbarkeit und µ-Rekursivit?t....Pages 95-114
Rekursive Funktionen....Pages 114-142
Unentscheidbare Pr?dikate....Pages 142-187
Verschiedenes....Pages 188-240
Back Matter....Pages 241-248
....