Berechenbarkeitstheorie
Berechenbarkeitstheorie
Kapitel 1-3
Datei: PS-Datei (644 KB)
Datei: PS.GZ-Datei (239 KB)
Datei: PDF-Datei (445 KB)
Kapitel 4
Datei: PS-Datei (274 KB)
Datei: PS.GZ-Datei (117 KB)
Datei: PDF-Datei (154 KB)
Kapitel 5
Datei: PS-Datei (212 KB)
Datei: PS.GZ-Datei (94 KB)
Datei: PDF-Datei (119 KB)
Autor: J. Diller
Titel: Berechenbarkeitstheorie
Art: Vorlesungsskript
Jahr: 1988-2000
Seiten: viii+98; 99-128 und 129-148
Zusammenfassung:
Der Text bietet eine Einführung in die Berechenbarkeitstheorie. Nach
der Behandlung von (partiell) Register-berechenbaren und mu-rekursiven
Funktionen werden Ergebnisse der elementaren Rekursionstheorie wie
Kleene's Normalform- und Aufzählungstheorem, das S-m-n- und Rekursionstheorem
sowie der Satz von Rice bewiesen.
Betreuung der Logikseiten
Erzeugungsdatum: Thu Jul 6 14:31:07 MET DST 2000
|
