Formale Grundlagen der Informatik (FGI 2): Modellierung und Analyse von Informatiksystemen

Arbeitsbereich
THEORETISCHE GRUNDLAGEN DER INFORMATIK

Formale Grundlagen der Informatik (FGI 2):
Modellierung und Analyse von Informatiksystemen
R. Valk, D. Moldt und M. Köhler-Bußmeier
Dienstag, 12:15-13:50 in Erzwiss H und Donnerstag 12:15-13:50 in Phil-A (Wintersemester 2010/2011)

[Übungen], [Übungsschein], [Klausurtermine], [Diplomstudiengang], [Materialien], [Übungsaufgaben], [Beratung], [Saalübung] und [Repetitorium].

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.

Übungen

Übungen ab Mo, 18. Okt. 2010. (Bitte in Stine anmelden!)

G1: Mo. 10-12, C-101, C-104 (Köhler-Bussmeier, Duvigneau)
G2: Mo. 12 - 14, C-101, C-221 (Köhler-Bussmeier, Röwekamp)
G3: Mo. 14 - 16, C-101, C-221 (Moldt)
G4: Mo. 16 - 18, C-101, C-221 (Popov, Bolte)
G5: Di. 10 - 12, C-101, C-221 (Cabac, Haustermann)

Zum Austausch unter den Übungsgruppenteilnehmern steht ein Commsy-Raum bereit. (Der Zutrittscode zum CommSy-Raum entspricht dem Passwort zum Zugriff auf Skript und Aufgabenblätter.)

Kriterien für den Übungsschein

Jede Woche wird ein neuer Aufgabenzettel gestellt.
Eure Lösungen gebt Ihr jeweils in der darauf folgende Woche direkt in Euer Übungsgruppe in handschriftlicher Form ab.
Die Lösungen werden von den Übungsgruppenleitern bis zur darauffolgenden Woche korrigiert.
Die Aufgaben können in Arbeitsgruppen bearbeitet werden. Eine Arbeitsgruppe soll aus maximal 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.
Für die Bescheinigung einer erfolgreichen Teilnahme müssen die Teilnehmer ...
1. bei allen Übungsterminen 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 (insbesondere an den Präsenzaufgaben),
3. mindestens 50% der insgesamt vergebenen Punkte erreichen
4. und bei höchstens 2 Aufgabenzettel weniger als 20% der jeweils vergebenen Punkte erreichen.
Das Kopieren fremder Lösungen führt zu Punktabzügen bei allen Beteiligten und gilt als Täuschungsversuch.

Klausurtermine (ohne Gewähr)

1. Klausur: 01.03.2011, 9.30 - 11.30, Audi 1 (Achtung! Zeit geändert!)
2. Klausur: 01.04.2011, 9.30 - 11.30, ESA B (Achtung! Zeit geändert!)

Zur Vorbereitung auf die Klausuren werden Repetitorien angeboten.

Diplomstudiengang

Diplomstudierende können diese Vorlesung als äquivalent zur Hauptstudiumsgrundlagenvorlesung "Prozesse und Nebenläufigkeit" (PNL) wählen. 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.
Diplomstudierende der Wirtschaftsinformatik können Teile dieser Vorlesung als äquivalent zur Vorlesung F4 wählen. Die hierfür relevante Teilmenge wird in Prüfungsstoff für F4 beschrieben.

Skript und Folien

Das Skript wird in den Übungsgruppen verteilt. Das gedruckte Skript: fgi10-druck.pdf [Stand: 22.09.2010, 6,5 MB]
(Benutzername und Passwort in Stine unter Material der FGI2-Seite, auf Seite ii des gedruckten Skriptes oder über die Veranstalter.)

Fehlerliste: errata2010.pdf
Das aktualisierte Skript: fgi2_2010.pdf [Stand: 11.11.2010, 6,2 MB] (berücksichtigt: Fehlerliste und Schreibfehler)

Folien, auch mit weißem Hintergrund, sowie weitere Unterlagen werden nach der jeweiligen Sitzung hier abgelegt.