Umfrage zur Mobilität der ausländischen Euro-Münzen
Wolfgang-Paul-Preis für Prof. Barry Smith, Projekt GOL.
Kennen Sie das Spiel Atomix? Oder Rasende Roboter? Und was hat das mit der Theorie endlicher Automaten zu tun? Die Antwort erfahren Sie im Vortrag Moleküle bauen ist schwer! von Markus Holzer (TU München) am Dienstag, dem 13. November.
Die Einschreibung zu den Übungen ist abgeschlossen. Wegen Adressen-Änderungen für das autotool wenden Sie sich bitte an autotool-admin.
(25. Oktober) Bewertung der Übungsserien: Es gibt pro Serie etwa zehn Punke, und etwa 7 Serien im Semester. Sie benötigen etwa 60 Prozent aller Punkte, um einen Schein zu erhalten.
(24. Oktober) Beachten Sie die verbesserte Dokumentation zum autotool http://theopc.informatik.uni-leipzig.de/~autotool/, insbesondere die Mailingliste autotool-users.
Auf der Maillingliste können Sie miteinander und mit uns über technische Fragen des autotool sprechen. Insbesondere wird aus dem Archiv der Mailingliste die FAQ-Datei extrahiert.
Schicken Sie keine Lösungen oder -Versuche zu noch aktuellen Aufgaben an diese Liste! Falls das vorkommt, können wir für die betreffende Aufgabe ab sofort (und evtl. auch rückwirkend) keine Punkte mehr vergeben.
(8 . Oktober) Schreiben Sie sich bitte zu den Übungen mit Hilfe dieses Formulars ein.