Arbeitsbereich
THEORETISCHE
GRUNDLAGEN DER
INFORMATIK
Formale Grundlagen der Informatik II (FGI II):
Modellierung und Analyse paralleler und verteilter Systeme
R. Valk
und D. Moldt
Dienstag, 12:15-13:50 in Phil A und Donnerstag, 8:15-9:50 in Phil C
(Wintersemester 2007/2008)
[Übungsschein],
[Klausurtermine],
[Diplomstudiengang],
[Materialien],
[Übungsaufgaben],
[Beratung/Saalübung] und
[Repetitorium].
Auszug aus dem
Kommentierten Vorlesungsverzeichnis:
Diese Lehrveranstaltung verzahnt in besonderer Weise
die Inhalte der theoretischen Informatik mit denen der
praktischen Informatik - insbesondere mit jenen, die aus der Befassung
mit verteilter Software entstehen.
-
Es wird 12 Aufgabenzettel mit variierender Punktzahl geben.
-
Die Lösungen zu den Aufgaben sind wöchentlich am Montag, bis
spätestens 18 Uhr abzugegeben. Die Lösungen werden von den
Übungsgruppenleitern korrigiert und mit Punkten bewertet.
-
Die Aufgaben können in Arbeitsgruppen bearbeitet werden.
Eine Arbeitsgruppe soll aus zwei bis drei Studierenden bestehen.
Arbeitsgruppen geben nur einen Lösungszettel ab, auf dem alle Namen der Teilnehmer(innen)
notiert sein müssen. Die erreichte Punktzahl wird jedem Gruppenmitglied gutgeschrieben.
-
Die Lösungen sind handschriftlich auszuarbeiten.
-
Jedes Arbeitsgruppenmitglied muss die Lösungen seiner Gruppe an
der Tafel präsentieren können. Ansonsten verfallen die
Punkte der jeweiligen Aufgabe.
-
Das Kopieren fremder Lösungen führt zu Punktabzügen bei
allen Beteiligten und gilt als Täuschungsversuch.
-
Die Seiten der Lösung müssen durchnummeriert ('1 von 4' usw.) sein.
Auf dem Lösungszettel sind die Namen aller Teilnehmer(innen) zu notieren.
Die Abgabe der Lösungen ist auf zwei Arten möglich:
-
Einwurf im FGI-Kasten im Treppenhaus von Haus C im 1. Stock.
Jeder Gruppenleiter besitzt dort ein Abgabefach.
Die Seiten müssen zusammengeheftet sein.
- Lösungen scannen,
in einer PDF-Datei zusammenfassen und
per E-Mail an den Gruppenleiter schicken.
Wir bitten um folgenden Bezeichner
als Betreff (Subject) der E-Mail und für den Dateinamen des
PDF-Dokuments:
FGI_U14_A1_Meier_Mueller_Schulze.pdf
Das setzt sich wie folgt zusammen:
- 'FGI' kennzeichnet das Modul.
- 'U14' (ohne Umlaut!) steht für die Übungsgruppe, die 14 bezeichnet die
Uhrzeit. Also: U08, U10, U12 oder U14.
- 'A1' ist die Nummer des Aufgabenblattes. Also: A1, A2, A3, ...
- 'Meier_Mueller_Schulze' steht stellvertretend für Eure Namen,
alphabetisch (nach Nachnamen) sortiert.
-
Für die Bescheinigung einer erfolgreichen Teilnahme
müssen die Teilnehmer ...
-
bei den Übungen anwesend sein (Bei mehr als
zweimaligem Fehlen wird eine schriftliche Begründung,
z.B. Attest eines Arztes, benötigt.),
-
sich aktiv mündlich beteiligen,
-
mindestens 50% der insgesamt vergebenen Punkte erreichen
-
und in mindestens 10 der 12 Abgabenzettel mindestens 20% der für den
Aufgabenzettel vergebenen Punkte erreichen.
-
Die Klausurtermine für FGI 2 sind:
Fr 15.02.08 , 9 - 12, Audimax und
Mo 31.03.08 , 13 - 16 ESA A.
-
Diplomstudierende können diese Vorlesung als äquivalent zur Hauptstudiumsgrundlagenvorlesung "Prozesse und Nebenläufigkeit" (PNL) wählen (Übergangsregelung).
-
Für sie wird eine mündliche Prüfung über den Stoff dieser Vorlesung angeboten. Die hierfür relevante Teilmenge wird in Prüfungsstoff für PNL beschrieben.
(Passwort über die Veranstalter oder das TGI-Sekretariat erhältlich)
Das ganze Skript: fgi_2_07.pdf [Stand 3.9.2007]
Das Skript in Teilen: Teil 1: fgi_2_07_Teil_1.pdf
Teil 2: fgi_2_07_Teil_2.pdf [Stand 3.9.2007]
Die Druckversion von Teil 1 und 2 ist im Sekretariat TGI (Haus C, 1. Stock) (Öffnungszeiten) erhältlich.
Aktuelle Folien
Kommentare und Verbesserungsvorschläge bitte direkt an
M. Köhler.
Im Wintersemester 2007/08 wird erstmalig semesterbegleitende Beratung zu
den Übungsaufgaben geboten.
Das Ziel der Beratung ist, Verständnisschwierigkeiten bei den Aufgaben
zu beheben und die Eignung eingeschlagener Lösungsansätze
einzuschätzen.
In den Saalübungen werden Aufgaben aus dem Vorjahr oder aus
vergangenen Wochen interaktiv gelöst und gelegentlich Definitionen zu
speziellen Schwerpunkten diskutiert und verglichen.
Das Ziel der Saalübung ist es, das Verständnis der aktuellen
Übungsaufgaben zu erleichtern und mögliche Lösungswege
aufzuzeigen.
Die Beratung findet durch
M. Duvigneau
statt.
Es ist eventuell hilfreich, die Diskussionen zu den FGI-Themen im Fachschafts-Forum zu verfolgen.
Sprechstunden
- Montags, 8 - 16 Uhr, C-202
- Mittwochs, 10 - 14 Uhr, C-202
Saalübungstermine
(Räume und Zeiten sind vorläufig)
- Mittwochs, 8 - 10 Uhr, C-101 (Beginn 8:30 Uhr)
- Mittwochs, 14 - 16 Uhr, C-101
Seit 21. November 2007 finden probeweise zwei Saalübungstermine statt.
Besteht Interesse an einem anderen als den angebotenen Terminen (z.B. donnerstags),
so sammeln Sie bitte ca. 10 Zusagen von potentiellen Teilnehmern und sprechen
Herrn Duvigneau darauf an.
Herr Duvigneau kann leider grundsätzlich keine Termine nach 16 Uhr anbieten.
Das Repetitorium dient der Vorbereitung auf die PNL bzw. FGI-2 Prüfung und wird von
M. Duvigneau in der
vorlesungsfreien Zeit in der Woche vom 11. bis zum 15. Februar
(dies ist direkt vor dem ersten Klaustermin)
und in der Woche vom 10. bis zum 14. März
(dies ist drei Wochen vor dem zweiten Klaustermin)
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.
Bitte melden Sie sich per E-Mail bei
M. Duvigneau
an, wenn Sie an dem Repetitorium teilnehmen möchten.
Bitte geben Sie dabei an, ob sie die Teilnahme am ersten oder zweiten
Klausurtermin oder an einer PNL-Prüfung planen.
Bitte haben Sie Verständnis, dass bei zu hoher Teilnehmerzahl am ersten
Repetitoriumstermin die Teilnehmer der ersten Klausur bevorzugt werden.
Die Präsenztermine sind Dienstag, Mittwoch und Donnerstag (im Februar)
bzw. Montag, Mittwoch und Freitag (im März), jeweils im Raum C-221.
- 1. Block:
(9:00-10:30 Uhr, 11:00-12:00 Uhr, 13:00-14:30 Uhr)
- 2. Block:
(9:00-10:30 Uhr, 11:00-12:00 Uhr, 13:00-14:30 Uhr)
- 3. Block:
(9:00-10:30 Uhr, 11:00-12:00 Uhr)
[Lehre]
[TGI]
[Informatik]
Impressum
