Lambda-Kalkül und Kombinatorische ...
Aktionen
Fakultät für Philosophie und GeschichteLambda-Kalkül und Kombinatorische Logik
Lambda-Kalkül und Kombinatorische Logik Skript [Peter Schroeder-Heister] SS09
27.01.10, 16:27 UhrInhaltsverzeichnis 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 -KalkulLambda-Kalkül und Kombinatorische Logik Skript [Peter Schroeder-Heister] SS09.pdf0,24 MB
max30006Lambda-Kalkül und Kombinatorische Logik Skript [Peter Schroeder-Heister] SS09
ZUM DOWNLOAD
Uniturm.de ist für Studierende völlig kostenlos! Melde dich jetzt kostenfrei an.-
Bewertung
aleph.miciah
3