Versionen/Autoren

Aus ProgrammingWiki

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

AltNeuVersionAutorZusammenfassung
2022-06-21T06:48:33+00:00Nh72pojuVergleichen
2022-05-23T16:37:45+00:00Nh72pojuVergleichen
2022-05-23T16:37:31+00:00Nh72pojuVergleichen
2022-05-23T16:36:39+00:00Nh72pojuVergleichen
2022-05-23T16:04:10+00:00Nh72pojuVergleichen
2022-05-23T16:03:56+00:00Nh72pojuVergleichen
2022-05-23T16:03:39+00:00Nh72pojuDie Seite wurde neu angelegt: „Betta-Regel: ((λx. E ) M) ⇒ E[M/x] Bedingungen: - E und M sind λ-Ausdrücke - M ist nicht in E gebunden - x ist eine Variable Vorgehen: - ersetze alle in…“Vergleichen