[Bt-ws11] Fehler in Aufgabe 8.2

[André Schulz]

Liebe Studenten,

in Aufgabe 8.2. ist uns leider ein Fehler unterlaufen (eigentlich ein Fehler in der VL der im Wiki korrigiert wurde http://wwwmath.uni-muenster.de/logik/Personen/Schulz/BETHWIKI/index.php/Diskussion:Aufzählbarkeit).

Die Aufgabe wird nicht gewertet. Eine Richtung der Aussage ist nach wie vor korrekt (nämlich wenn L lexikographisch aufzählbar ist, ist L entscheidbar). Wer dies in der Aufgabe 8.2. gezeigt hat, bekommt je nach Richtigkeit bis zu 3 Punkte als Bonus.

VG
André Schulz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://listserv.uni-muenster.de/pipermail/bt-ws11/attachments/20111210/c447223a/attachment.html