Formale Grundlagen der Informatik II (FGI II): Modellierung und Analyse paralleler und verteilter Systeme

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:00-14:00 in Phil A und Donnerstag, 8:00-10:00 in Phil C (Wintersemester 2006/2007)
[Scheinkriterien], [Materialien], [Übungsaufgaben], [Klausur] 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.

Kriterien für den Übungsschein

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.
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:
1. Einwurf im FGI-Kasten im Treppenhaus von Haus C im 1. Stock. Jeder Gruppenleiter besitzt dort ein Abgabefach. Die Seiten müssen zusammengeheftet sein.
2. E-Mail an den Gruppenleiter. Das einzig akzeptierte Dateiformat ist PDF. Hinweis: Benutzt MacOS-X, PdfLatex, den PDF-Export von OpenOffice oder installiert einen Windows-Druckerteiber, der PDF erzeugt (z.B. PDFCreator, https://sourceforge.net/projects/pdfcreator/).
  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:
  1. 'FGI' kennzeichnet das Modul.
  2. 'U14' (ohne Umlaut!) steht für die Übungsgruppe, die 14 bezeichnet die Uhrzeit. Also: U08, U10, U12 oder U14.
  3. 'A1' ist die Nummer des Aufgabenblattes. Also: A1, A2, A3, ...
  4. 'Meier_Mueller_Schulze' steht stellvertretend für Eure Namen, alphabetisch (nach Nachnamen) sortiert.
Für die Bescheinigung einer erfolgreichen Teilnahme müssen die Teilnehmer ...
1. bei den Übungen anwesend sein (Bei mehr als zweimaligem Fehlen wird eine schriftliche Begründung, z.B. Attest eines Arztes, benötigt.),
2. sich aktiv mündlich beteiligen,
3. mindestens 50% der insgesamt vergebenen Punkte erreichen
4. und in mindestens 10 der 12 Abgabenzettel mindestens 20% der für den Aufgabenzettel vergebenen Punkte erreichen.

Skript und Folien

(Passwort über die Veranstalter oder das TGI-Sekretariat erhältlich)

Folien zu Kapitel 1

Folien zu Kapitel 2 Vortragsteil 1
Folien zu Kapitel 2 Vortragsteil 2 Anmerkung: Die Folienreihenfolge für 2.2 - 2.4 entspricht nicht vollständig dem Skript!
Folien zu Kapitel 2 Vortragsteil 3
Folien zu Kapitel 2 Vortragsteil 4

Folien zu Kapitel 3

Aufgaben

Klausur

Freitag, 16. Februar 2007, 9:30-11:30, Audi I
Montag, 26. März 2007, 9:30-11:30, Audi I

Repetitorium

Das Repetitorium dient der Vorbereitung auf die PNL bzw. FGI-2 Prüfung und wird von M. Köhler in der vorlesungsfreien Zeit in der Woche vom 12. bis zum 16. Februar (Dies ist direkt vor dem ersten Klaustermin.) und in der Woche vom 12. bis zum 16. März (Dies ist zwei Wochen vor dem zweiten Klaustermin.) im Raum C-221 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.

Die Präsenstermine sind Montag, Dienstag und Donnerstag (im Februar) bzw. Montag, Mittwoch und Freitag (im März).