Fachbereich Mathematik und Informatik

Suchen
Institut fü Mathematische Logik und Grundlagenforschung
Einsteinstraße 62
48149 Münster
Tel.: +49-251-83-33 790
Fax: +49-251-83-33 078
pfeifer@math.uni-muenster.de

Startseite des Instituts
Startseite Mathematik und Informatik
Startseite
Universität Münster

Kontakt
Impressum
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.


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Thu Jul 6 14:31:07 MET DST 2000

zurückblättern

Diese Seite:  :: Seite drucken   :: Seite empfehlen  :: Seite kommentieren

© FB 10 Mathematik und Informatik

© FB 10 Mathematik und Informatik der Universität Münster
Einsteinstrasse 62 · 48149 Münster
Tel.: +49 251 83-3 30 16 · Fax: +49 251 83-3 83 50
E-Mail: mathdek@math.uni-muenster.de