Formale Grundlagen der Informatik II (FGI 2)
- Unterstützende Lehre -
M. Duvigneau
Wintersemester 2009/10
[Beratung], [Saalübung] und [Repetitorium]
|
|
|
|
|
Diese Seite beschreibt lediglich das unterstützende Lehrangebot zur Veranstaltung (Formale Grundlagen der Informatik (FGI 2): Modellierung und Analyse von Informatiksystemen ) im Wintersemester 2009/10. Daher an dieser Stelle ein Link zur Webseite der Vorlesung.
Beratung
Im Wintersemester 2009 wird eine 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 2010) sind folgende Sprechzeiten geplant:
- dienstags, 10-12 Uhr
- Weitere Termine nach Vereinbarung.
- Keine Beratung in der Zeit vom 20.2. bis zum 7.3.2020!
Saalübungen (64-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 64-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
- Montags, 16:15 - 17:45 Uhr, Raum C-101
Saalübungsthemen
- 19. Oktober: mathematische Grundlagen, formale Sprachen
- 26. Oktober: Sprachen von endlichen Automaten und Transitionssystemen
- 2. November: Produkttransitionssysteme
- 9. November: Petrinetze: Markierungen, Induktion über Schaltfolgenlänge, Erreichbarkeitsgraph
- 16. November: Gefärbte Petrinetze, Renew
- 23. November: fällt aus (Habilitationskolloquium M. Köhler)
- 30. November: fällt aus (krank)
- 7. Dezember: Prozessgraphen, Vergleich mit P/T-Netzen, Prozessalgebra-Erweiterungen
- 14. Dezember: Prozessalgebra: BPA-Kalküle, Parallelität, Rekursion und Verbergen
- 4. Januar: LTL-Semantik, Berechenbarkeitsmodelle RAM/PRAM
- 11. Januar: CTL-Modelchecking, Anwendung auf Petrinetze, Brent's Principle
- 18. Januar: Komplexitätsmaße bei RAM und PRAM
- 25. Januar: Prozessalgebra: Abstraktion/Verzweigungsbisimulation
- ... weitere Themen richten sich am Fortgang der FGI-2-Übungen aus.
Repetitorium (64-063)
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 in der zweiten Semesterferienwoche (direkt vor dem ersten Klaustermin) und in einer Woche Mitte März (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 Anmeldungszahl die Teilnehmerzahl begrenzt werden muss.
Termine der ersten Blockveranstaltung: (Raumänderung vorbehalten)
Di, 16.2.2010, 13:15-16:15 Uhr (s.t.) in D-125/D-129,
Mi, 17.2.2010, 09:15-14:45 Uhr (s.t.) in D-125/D-129 und
Do, 18.2.2010, 09:15-14:45 Uhr (s.t.) in D-125/D-129
Themenüberblick (vorläufig):
| Zeit / Tag | Di, 16.2.2010 | Mi, 17.2.2010 | Do, 18.2.2010 |
|---|---|---|---|
| 9:15-10:45 Uhr | --- | Prozessalgebra: BPA, PAP, ACP | Modelchecking |
| 11:15-12:15 Uhr | --- | Prozessalgebra: Rekursion, Abstraktion | Entscheidbarkeit, Invarianten |
| 13:15-14:45 Uhr | mathematische Grundlagen, Transitionssysteme, P/T-Netze | Parallele und Verteilte Algorithmen | gefärbte Netze, Fragestunde |
| 15:15-16:15 Uhr | Eigenschaften von P/T-Netzen | --- | --- |
Termine der zweiten Blockveranstaltung:
Di, 09.3.2010, 9:15-14:45 Uhr (s.t.) in C-221,
Do, 11.3.2010, 9:15-14:45 Uhr (s.t.) in C-221 und
Fr, 12.3.2010, 9:15-12:15 Uhr (s.t.) in C-221
Themenüberblick (vorläufig):
| Zeit / Tag | Di, 09.3.2010 | Do, 11.3.2010 | Fr, 12.3.2010 |
|---|---|---|---|
| 9:15-10:45 Uhr | mathematische Grundlagen, Transitionssysteme, P/T-Netze | Prozessalgebra: BPA, PAP, ACP | Modelchecking |
| 11:15-12:15 Uhr | Eigenschaften von P/T-Netzen | Prozessalgebra: Rekursion, Abstraktion | Fragestunde |
| 13:15-14:45 Uhr | Entscheidbarkeit, Invarianten, gefärbte Netze | Parallele und Verteilte Algorithmen | -- |
Die im Repetitorium verwendete Mindmap zum Download.
Letzte Änderung: 17:40 19.05.2011 Impressum