1 Aktuelles

• Die Termine für die Nachprüfung nach der neuen DPO (Modulprüfung) sind in dieser Tabelle aufgeführt.
• Die Ergebnisse des 3. Kurztests können hier eingesehen werden.
• Die Übungen am Do, den 5.1.2005 (11-13 Uhr) und Do, 23.12.2004 (13-15 Uhr) fallen aus. Es gibt heute (am 22.12.2004) kein Übungsblatt, die Besprechung des 9. Blattes findet statt:
  • Do, 23.12., 11-13 Uhr, HS A (Marcus)
  • Do, 5.1., 13-15 Uhr, N327 (Alexander und Tobias)
• Die Ergebnisse des 2. Kurztests befinden sich hier. Eine Musterlösung befindet sich hier.

• Die Ergebnisse des 1. Kurztests können hier eingesehen werden. Sie können Ihren Kurztest entweder in Ihrer Übung abholen oder aber während der Sprechzeiten (Di, 10-11) bei uns (Marcus und Frank, N307) vorbeischauen.
• Der erste Kurztest wird (zur Vorlesungszeit) am 19.11.2004 um 9:15 Uhr s.t. stattfinden. Wir bitten Sie, falls Sie teilnehmen möchten, pünktlich zu sein. Der Test wird 40 Minuten dauern, im Anschluß  folgt die Besprechung der Aufgaben im Hörsaal. (Zu den Kurtests siehe auch Abschnitt Übungsbetrieb.)
• Die Übungstermine sind: Do. 11-13 Uhr, HS A, Do. 13-15, N327.
• Erstes Übungsblatt am Mi., den 20.10.2004. Die Besprechung findet am Do., den 28.10. in den Übungen statt.
• In der ersten Vorlesung gab es Informationen zur Übungsanmeldung. (Bitte beachten Sie, daß  Sie sich zu den Übungen anmelden müssen, falls Sie teilnehmen möchten.)
• Aufgrund der wiederholten Nachfragen bzgl. dieses Themas möchten wir nochmals darauf hinweisen, daß  für die Übungen (weder für das Studieren nach der neuen noch nach der alten DPO) keine Anwesenheitspflicht besteht. Eine Leistungsmessung erfolgt für die Zulassung zur Modulprüfung nach neuer DPO nur über die praktischen Aufgaben und die Kurztests. Siehe dazu auch Abschnitt ,,Übungsbetrieb``.
• Die erste Übung findet am Do., den 21.10. von 11.-13 Uhr (HS A) statt, es wird dann eine Einführung in SPIN/PROMELA gegeben, einer Modellierungssprache und einem Modelchecking-Tool. Ein Teil der praktischen Aufgaben, die im Laufe des Semesters gestellt werden, beziehen sich auf dieses Tool. Diese erste Übung wird ausnahmsweise nur von 11-13 Uhr in HS A stattfinden. Ab dem 28.10. finden dann beide Übungen parallel statt (siehe auch Abschnitt ,,Übungsbetrieb``).
• Vorlesung: Mittwoch 9:15-10:45, HS 1, und Freitag, 9:15-10:45, HS 1.
• Die erste Vorlesung fand am Mittwoch, den 13.10.2004 statt.
• Die Termine für die theoretischen Übungen werden in Kürze bekanntgegeben.
• Es gibt eine Mailingliste unter https://mailbox.informatik.uni-bonn.de/mailman/listinfo.cgi/vl-vps
  (Anmeldung mit EMail-Adresse und Passwort). Auf dieser Liste können Kommentare und Fragen zur Vorlesung und zu den Übungsaufgaben gepostet werden.