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

---

Content:
Front Matter....Pages I-XIII
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-252
Back Matter....Pages 253-260

---

Content:
Front Matter....Pages I-XIII
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-252
Back Matter....Pages 253-260
....