Versionen/Autoren

Aus ProgrammingWiki

Frühere Versionen bleiben erhalten. Eine Wiederherstellung erzeugt eine neue Version.

AltNeuVersionAutorZusammenfassung
2011-06-06T17:23:05+00:00Marcus/* Curryfication */Vergleichen
2011-06-06T16:38:22+00:00Marcus/* Curryfication */Vergleichen
2011-06-06T16:18:02+00:00Marcus/* α-Konversion */Vergleichen
2011-06-06T16:11:10+00:00Marcus/* Umbenennung gebundener Variablen */Vergleichen
2011-06-06T15:51:05+00:00Marcus/* Scheme */Vergleichen
2011-06-06T15:36:13+00:00Marcus/* β-Konversion */Vergleichen
2011-06-06T15:22:42+00:00MarcusDie Seite wurde neu angelegt: „=β-Konversion= == Aufgabe == Reduzieren Sie den λ-Ausdruck (λx. x x)((λz. z y) x) durch mehrfache Anwendung der β-Regel. Verfolgen Sie alle möglichen Anwend…“Vergleichen