Studentenkonto

Lambda-Kalkül und Kombinatorische Logik Sk...

Aktionen
Eberhard-Karls-Universität Tübingen
Fakultät für Philosophie und Geschichte
Lambda-Kalkül und Kombinatorische Logik

Lambda-Kalkül und Kombinatorische Logik Skript [Peter Schroeder-Heister] SS09
27.01.10, 16:27 Uhr
Inhaltsverzeichnis
0 Vorwort
1 Der ungetypte -Kalkul
1.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Die formalen Theorien  und   . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 -De nierbarkeit rekursiver Funktionen . . . . . . . . . . . . . . . . . . . . . . .
1.4 Entscheidbarkeit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Kombinatorische Logik
3 Der getypte -Kalkul
4 Der polymorph getypte -Kalkul
alles lesen

Lambda-Kalkül und Kombinatorische Logik Skript [Peter Schroeder-Heister] SS09.pdf
0,24 MB
3
TEILEN |



herunterladen ZUM DOWNLOAD
Für den DOWNLOAD bitte einloggen oder neu anmelden. Uniturm.de ist völlig kostenlos!

Bewertung
Noch keine Bewertung vorhanden

5 VERWANDTE FÄCHER

 Titel der Unterlage rating download hochgeladen

Lambda-Kalkül und Kombinatorische Logik

Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte
Lambda-Kalkül und Kombinatorische Log... 0.00 3 von max3000 Gehe zur Unterlage
Mi, 27.01.10 16:28

Lambda-Kalkül und Kombinatorische Logik

Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte
Lambda-Kalkül und Kombinatorische Log... 1.00 4 von max3000 Gehe zur Unterlage
Mi, 27.01.10 16:28

Einführung in die Philosophie

Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte
Vorlesung Sommersemester 2002 - 3 Met... 1.50 22 von max3000 Gehe zur Unterlage
Mi, 20.01.10 16:17

Einführung in die Philosophie

Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte
Vorlesung Sommersemester 2002 - 3 Met... 1.50 22 von max3000 Gehe zur Unterlage
Mi, 20.01.10 16:17

Einführung in die Logik

Eberhard-Karls-Universität Tübingen »
Fakultät für Philosophie und Geschichte
Einfuhrung in die Logik Übungsblätte... 1.00 10 von max3000 Gehe zur Unterlage
Mi, 27.01.10 15:55