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

M. Duvigneau
Wintersemester 2010/11
[Vorlesung, Übung usw.] [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 2010/11. Daher an dieser Stelle ein Link zur Webseite der Vorlesung.

Beratung

Im Wintersemester 2010/11 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 des Semesters 2010/11 sind folgende Sprechzeiten geplant:

dienstags, 10-12 Uhr
dienstags, 13-16 Uhr
mittwochs, 10-12 Uhr
Weitere Termine nach Vereinbarung.
Keine Beratung in der Zeit vom 11.3. bis zum 10.5.2011!

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, 12:15 - 13:45 Uhr, Raum D-125

Saalübungsthemen

19. Oktober: Auffrischung (mathematische Grundlagen, endliche Automaten)
25. Oktober: Sprachen von Transitionssystemen, Produkttransitionssystem
1. November: Produkttransitionssystem, Temporallogik
8. November: Sprachen von LTL-Formeln, Unterschied LTL/CTL
15. November: CTL-Modelchecking
22. November: Zeitstempel, Petrinetze: Markierung, Erreichbarkeitsgraph
29. November: Petrinetze: Induktion über Schaltfolgenlänge, Invarianzeigenschaften
6. Dezember: Petrinetze: Überdeckungsgraph, S- und T-Invarianten
13. Dezember: Komplexitätsmaße bei RAM und PRAM
3. Januar: Prozessalgebra: Prozessgraphen, Bisimulation, BPA-Kalkül
10. Januar: Prozessalgebra: Parallelität und Verdecken, Korrektheit von Axiomen
17. Januar: Prozessalgebra: Rekursion und Abstraktion
24. Januar: Auftragssysteme, Serialisierbarkeit
31. Januar: Themen nach Wunsch (bitte per Mail vorschlagen)

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 dritten Semesterferienwoche (direkt vor dem ersten Klaustermin) und in einer Woche Anfang März (mit etwas Abstand 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)

Mi, 23.2.2011, 09:15-14:45 Uhr (s.t.) in D-125/D-129,
Do, 24.2.2011, 09:15-14:45 Uhr (s.t.) in D-125/D-129 und
Fr, 25.2.2011, 09:15-12:15 Uhr (s.t.) in D-125/D-129

Themenüberblick (vorläufig):

Zeit / Tag	Mi, 23.2.2011	Do, 24.2.2011	Fr, 25.2.2011
9:15-10:45 Uhr	mathematische Grundlagen, Ordnungen, Transitionssysteme	Prozessalgebra: BPA, PAP, ACP	Entscheidbarkeit, Invarianten
11:15-12:15 Uhr	P/T-Netze	Prozessalgebra: Rekursion, Abstraktion	gefärbte Netze, Fragestunde
13:15-14:45 Uhr	Eigenschaften von P/T-Netzen	Modelchecking	---

Termine der zweiten Blockveranstaltung:

Mo, 07.3.2010, 9:15-14:45 Uhr (s.t.) in C-221,
Di, 08.3.2010, 9:15-14:45 Uhr (s.t.) in C-221 und
Mi, 09.3.2010, 9:15-12:15 Uhr (s.t.) in C-221