Formale Grundlagen 2 (WS 2006/07)
Direkt zu:
Übungsmodus
RISC
»
FG2WS06
»
Foren
»
Nachrichtenforum
» Foliensatz "Entscheidbarkeit/Unentscheidbarkeit"
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
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
Antwort