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
Abschätzung der Berechnungskomplexität von Gödels T und seinen Teilsystemen

Abschätzung der Berechnungskomplexität von Gödels T und seinen Teilsystemen

Datei: DVI-Datei (321 KB)
Datei: DVI.GZ-Datei (114 KB)
Datei: PS-Datei (1847 KB)
Datei: PS.GZ-Datei (922 KB)
Datei: PDF-Datei (505 KB)

Autor: Gunnar Wilken
Titel: Abschätzung der Berechnungskomplexität von Gödels T und seinen Teilsystemen
Art: Diplomarbeit
Jahr: 1998
Seiten: 91

Zusammenfassung:
Aufbauend auf den Arbeiten von Howard und Weiermann führe ich in meiner Diplomarbeit eine Worst Case Abschätzung der Reduktionsketten in Gödels T (aufgefaßt als Erweiterung des getypten Lambdakalküls) und seinen Fragmenten durch.


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Wed Mar 8 15:55:31 MET 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