![]() |
![]() |
![]() |
![]() |
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 2009/10. Daher an dieser Stelle ein Link zur Webseite der Vorlesung.
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.
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:
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.
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.
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.
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 | --- | --- |
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.
Last Change: 17:40 05/19/2011 Imprint/Disclaimer