Benutzerbeiträge von „92.225.102.21“
Ergebnisse für 92.225.102.21 Diskussion Sperr-Logbuch Logbücher globales Sperr-Logbuch Bearbeitungsfilter-Logbuch
28. April 2009
- 22:3822:38, 28. Apr. 2009 Unterschied Versionen +2 Μ-Rekursion →Äquivalenz der μ-rekursiven Funktionen mit der Turingmaschine: Beweis-Idee -> Beweis-Skizze