Foliensatz "Entscheidbarkeit/Unentscheidbarkeit"
von Wolfgang Schreiner - Sunday, 3 December 2006, 18:16
  Wie in der VL gesagt, enthielt Folie 6 einen kleinen Fehler; es sollte darin
"L_d = L(M_j)" heißen. Korrigierte Folien sind im Netz.

Beste Grüße, WS