Formale Grundlagen der Informatik II (FGI 2)
- Unterstützende Lehre -

M. Duvigneau
Wintersemester 2008/09
[Beratung], [Saalübung] und [Repetitorium]

Diese Seite beschreibt lediglich das unterstützende Lehrangebot zur Veranstaltung ( Formal Foundations of Informatics (FGI 2): Modelling and Analysis of Information Systems (German only) ) im Wintersemester 2008/09. Daher an dieser Stelle ein Link zur Webseite der Vorlesung.

Beratung

Im Wintersemester 2008 wird zweitmalig semesterbegleitende Beratung zu den Übungsaufgaben geboten. Das Ziel der Beratung ist, Verständnisschwierigkeiten bei den Aufgaben und/oder dem Stoff der Vorlesung zu beheben und die Eignung eingeschlagener Lösungsansätze einzuschätzen.

Es ist mit Sicherheit hilfreich, auch die Diskussionen zu FGI-Themen im Fachschafts-Forum zu verfolgen.

Sprechstunden

Die Beratung findet in Form offener Sprechstunden in meinem Büro (Raum C-202) statt. Während der Semesterferien (Februar/März 2009) sind folgende Sprechzeiten geplant:

Dienstags, 9-12 und 13-16 Uhr
Weitere Termine nach Vereinbarung.

Die persönliche Beratung am 13. November findet wegen einer Besprechung nur nachmittags statt!

Saalübungen (18.062)

Die Saalübung soll Unterstützung beim Verständnis des Vorlesungsstoffes und bei der Bewältigung der Übungsaufgaben geben. Der praktische Zugang zu formalen Begriffen und Techniken soll erleichtert werden.

Die in der Saalübung behandelten Themen bereiten in der Regel den Stoff der aktuellen Übungsaufgaben (Veranstaltung 18.061) auf. Je nach Bedarf erfolgt dies durch die Diskussion elementarer Begriffe und Definitionen, interaktives Lösen von Beispielaufgaben, die Erläuterung von Rechenwegen und Algorithmen oder die Klärung von Fragen zu Vorlesungsstoff und Aufgabenstellungen.

Die Saalübung stellt ein zusätzliches Angebot zur Unterstützung des Lernens im Rahmen des Moduls FGI-2 dar. Teilnahme und Äußerungen in der Saalübung werden nicht bewertet, "Fehler machen" ist ausdrücklich erlaubt.

Saalübungstermine

Donnerstags, 16:15 - 17:45 Uhr, Raum C-221

Saalübungsthemen

23. Oktober: Sprachen von endlichen Automaten und Transitionssystemen
30. Oktober: Äquivalenzbegriffe für Transitionssysteme
6. November: Petrinetz-Grundlagen
13. November: Eigenschaften von Multimengen, Produktautomat
20. November: Beweise über Schaltfolgen in P/T-Netzen
27. November: Vergleich Prozessalgebra, P/T-Netze und Transitionssysteme
4. Dezember: Prozessalgebra: BPA-Kalküle und deren Verwendung
11. Dezember: Prozessalgebra: Parallelität, Rekursion und Verbergen
18. Dezember: Eigenschaften von P/T-Netzen
8. Januar: Hürde und Wirkung von Schaltfolgen, P-/T-Invarianten
15. Januar: P-Invarianten, CTL-Modelchecking
22. Januar:
... weitere Themen richten sich am Fortgang der FGI-2-Übungen aus.

Repetitorium

Das Repetitorium dient der Vorbereitung auf die FGI 2 Klausur und wird in der vorlesungsfreien Zeit zweimal angeboten. Das Repetitorium wird nicht die Vorlesung ersetzen, 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.

Repetitoriumstermine

Das Repetitorium findet jeweils als dreitägige Blockveranstaltung statt. Die Termine liegen vermutlich in der ersten Semesterferienwoche (direkt vor dem ersten Klaustermin) und in einer Woche Mitte März (kurz vor dem zweiten Klausurtermin).

Bitte melden Sie sich per E-Mail bei Duvigneau[at]informatik... an, wenn Sie an dem Repetitorium teilnehmen möchten. Bitte geben Sie dabei an, ob sie die Teilnahme am ersten oder zweiten Klausurtermin planen. Bitte haben Sie Verständnis, dass bei zu hoher Teilnehmerzahl am ersten Repetitoriumstermin die Teilnehmer der ersten Klausur bevorzugt werden.

Termine der ersten Blockveranstaltung:

Di, 10.2.2009, 9:00-12:00 Uhr (s.t.) in C-221,
Fr, 13.2.2009, 9:00-14:30 Uhr (s.t.) in C-221 und
Di, 17.2.2009, 9:00-14:30 Uhr (s.t.) in C-221

Themenüberblick (vorläufig):

Zeit / Tag	Di, 10.2.2009	Fr, 13.2.2009	Di, 17.2.2009
9:00-10:30 Uhr	mathematische Grundlagen, Transitionssysteme, P/T-Netze	Prozessalgebra: BPA, PAP, ACP	Modelchecking
11:00-12:00 Uhr	Eigenschaften von P/T-Netzen	Prozessalgebra: Rekursion, Abstraktion	Entscheidbarkeit, Invarianten, gefärbte Netze
13:00-14:30 Uhr	---	Parallele und Verteilte Algorithmen	Fragestunde

Termine der zweiten Blockveranstaltung:

Mo, 16.3.2009, 9:00-14:30 Uhr (s.t.) in C-221,
Mi, 18.3.2009, 9:00-14:30 Uhr (s.t.) in C-221 und
Fr, 20.3.2009, 9:00-12:00 Uhr (s.t.) in C-221