Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


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


M. Duvigneau
Wintersemester 2008/09
[Beratung], [Saalübung] und [Repetitorium]
Diese Seite ist nur auf Deutsch verfügbar. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


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:

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

Saalübungsthemen


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

Themenüberblick (vorläufig):

Zeit / Tag Mo, 16.3.2009 Mi, 18.3.2009 Fr, 20.3.2009
9:00-10:30 Uhr mathematische Grundlagen, P/T-Netze Transitionssysteme, Prozessalgebra: BPA, PAP, ACP Modelchecking
11:00-12:00 Uhr Netzmorphismen, gefärbte Netze Prozessalgebra: Rekursion, Abstraktion Netze: Entscheidbarkeit, Invarianten
13:00-14:30 Uhr Eigenschaften von P/T-Netzen Parallele und Verteilte Algorithmen --
Last Change: 17:40 05/19/2011
Imprint/Disclaimer