Kompakttutorium PNL
Termine
Das PNL Tutorium (WS 05/06) wird von M. Köhler-Bußmeier in der vorlesungsfreien Zeit direkt im Anschluß an die Vorlesung angeboten Es werden zwei Gruppen angeboten:
- Die erste Gruppe findet vom 13. bis 17. Februar statt (die erste Woche der vorlesungsfreien Zeit).
- Die zweite Gruppe findet - je nach Bedarf - entweder vom 20. bis 24. Februar (zweite Woche) oder vom 27. Februar bis 3. März (dritte Woche) statt. Aufgrund der Präferenzen der Teilnehmer findet das zweite Tutorium in der zweiten Woche statt.
Anmeldung
Eine Anmeldung ist erforderlich. Es gilt "first come, first served". Anmeldungen bitte an mich ("koehler at informatik dot uni-hamburg dot de") mit einem CC an "hamester at informatik dot uni-hamburg dot de".
Falls der Andrang groß sein sollte, werden Teilnehmerlisten am TGI-Sekeretariat ausgehängt.
Derzeit existieren noch Plätze in beiden Gruppen.
Gliederung
Das Tutorium wird nicht die Vorlesung wiederholen, sondern interaktiv stattfinden. Daher wird davon ausgegangen, dass der Stoff der Vorlesung in den Grundzügen bekannt ist. Eine Vorbereitung der Termine ist daher unbedingt notwendig.
Die Präsenstermine sind Montag, Mittwoch und Freitag. Es gibt drei Blöcke pro Tag: 9:30 bis 11:00, 11:30 bis 12:30 und 13:30 bis 15:00.
- Montag:
- Prozessalgebra I: Terme, Graphen, Bisimulation, Äquivalenz
- Prozessalgebra II: Abstraktion, Rekursion
- Petrinetze I: Verfeinerung, Morphismen, Prozesse
- Mittwoch:
- Petrinetze II: Gefärbte Netze, Referenznetze
- Statecharts
- Analyse: Zustandsraumanalyse, Temporallogik
- Freitag:
- Verteilte Algortihmen I: Konsensalgorithmen
- Verteilte Algortihmen I: Probabilistische Algorithmen
- Quantitative Analyse: Verweil-, Bedienzeiten, Durchsatz
