Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
www.pst.informatik.uni-muenchen.de/Lehre/ss99/PrAlg
Übungen zur Prozeßalgebra
-
Der Übungsbetrieb
-
Die Übungen finden jeweils am Mittwoch von 14.00 bis 16.00 im Raum 139 statt. Die mit (H) gekennzeichneten Aufgaben sind Hausaufgaben und jeweils am Mittwoch der nächsten Woche in der Übung abzugeben. Sie werden dann korrigiert und in der folgenden Übungsstunde zurückgegeben. In der Übung sollten die Teilnehmer aktiv mitarbeiten. Voraussetzung für einen Scheinerwerb ist das Bestehen einer Klausur am Ende des Semesters. Nicht ausreichende Leistungen bei der Bearbeitung der Hausaufgaben mindern die Erfolgsaussichten in der Klausur.
-
Die Übungsblätter
-
- Blatt 1 vom 6.5.1999 als .dvi oder .ps Datei
- Blatt 2 vom 11.5.1999 als .dvi oder .ps Datei
- Blatt 3 vom 20.5.1999 als .dvi oder .ps Datei
- Blatt 4 vom 27.5.1999 als .dvi oder .ps Datei
- Blatt 5 vom 1.6.1999 als .dvi oder .ps Datei
- Blatt 6 vom 10.6.1999 als .dvi oder .ps Datei
- Blatt 7 vom 17.6.1999 als .dvi oder .ps Datei
- Blatt 8 vom 24.6.1999 als .dvi oder .ps Datei
- Blatt 9 vom 8.7.1999 als .dvi oder .ps Datei
- Blatt 10 vom 15.7.1999 als .dvi oder .ps Datei
Die Klausur
Als
.dvi oder
.ps Datei
Dirk Pattinson Wed Oct 27 16:13:55 MEST 1999