Ebook: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der Rekursiven Funktionen
Author: Hans Hermes (auth.)
- Tags: Mathematics general
- Series: Die Grundlehren der Mathematischen Wissenschaften 109
- Year: 1961
- Publisher: Springer Berlin Heidelberg
- Language: German
- pdf
Content:
Front Matter....Pages II-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
Erratum to: ?-Rekursive Funktionen....Pages 247-247
Erratum to: Die ?quivalenz von Turing-Berechenbarkeit und ?-Rekursivit?t....Pages 247-247
Erratum to: Rekursive Funktionen....Pages 247-247
Erratum to: Unentscheidbare Pr?dikate....Pages 247-247
Back Matter....Pages 241-246
Content:
Front Matter....Pages II-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
Erratum to: ?-Rekursive Funktionen....Pages 247-247
Erratum to: Die ?quivalenz von Turing-Berechenbarkeit und ?-Rekursivit?t....Pages 247-247
Erratum to: Rekursive Funktionen....Pages 247-247
Erratum to: Unentscheidbare Pr?dikate....Pages 247-247
Back Matter....Pages 241-246
....
Download the book Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der Rekursiven Funktionen for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)