Übungen zu Berechenbarkeit und Komplexität


Das war mal aktuell

Das dritte Testat ist korrigiert, die Punktliste wird demnächst ausgehängt. Die Arbeiten können danach im Sekretariat abgeholt werden. (Rückfragen, Gesamtpunktlisten usw. ab August bei mir.)

Das dritte Testat schreiben Sie in der letzten Vorlesungswoche, am Freitag, dem 29. Juni, von 13:15 - 14:45, HS 11 (d. h. zur Vorlesungszeit). Die Vorlesung wird deswegen verschoben auf Donnerstag, den 28. Juni, 15:15 - 16:45, HS 12.

Graphen im autotool (Aufgaben COL, HAM1, HAM2, CLQ1, CLQ2 sind jetzt online)

Das zweite Testat ist korrigiert. Die Punktliste hängt vor dem Sekretariat aus. Sie können die Arbeiten bei mir im Büro abholen. Ich habe beim Korrigieren Abkürzungen benutzt, die in dieser Liste mit beliebten Fehlern läutert sind.

mehr zum PCP (Neu! Mailingliste!)

Programmier-Wettbewerb Connections: für dieses Semester vorbei, im nächsten gehts weiter (gleiches Protokoll, anderes Spiel)

Das zweite Testat schreiben Sie am Donnerstag, dem 7. Juni, von 15:15 bis 16:45 im Hörsaal 12.

Das erste Testat schreiben Sie am Dienstag, dem 15. Mai, um 15:15 Uhr im Hörsaal 11.

Hinweis zum autotool-Format für die Aufgaben FUN1*

Am Dienstag, dem 8. Mai, lade ich Sie ein für 15:15 Uhr in SR 3-68 Hauptgebäude zu Vortrag und Diskussion über das autotool. Hier haben Sie die Möglichkeit, die weitere Entwicklung und Anwendung des Systems mitzubestimmen!

Am Dienstag, dem 24. April, halte ich um 15:15 Uhr im SR 3-68 Hauptgebäude einen Vortrag über Automaten, die auf Bäumen spazierengehen. Interessenten sind herzlich eingeladen.

Lust auf Programmieren und Nachdenken zugleich?

Bitte schreiben Sie sich für die Übungsgruppen ein. Benutzen Sie dazu dieses Formular.

Auch in diesem Semester werden einige Übungsaufgaben vom autotool korrigiert. Das Programm wird nur Einsendungen bearbeiten, die von einer Mailadresse kommen, die in der Einschreibe-Liste steht.


http://www.informatik.uni-leipzig.de/~joe/ mailto:joe@informatik.uni-leipzig.de
best viewed with any browser