Nächste Seite: 2 Vorlesungsankündigung
Aufwärts: Model Checking
Vorherige Seite: Model Checking
- 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.
Nächste Seite: 2 Vorlesungsankündigung
Aufwärts: Model Checking
Vorherige Seite: Model Checking
2005-10-26