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 und D. Moldt
Dienstag und Donnerstag 12:15-13:50 in Phil-A (Wintersemester 2009/2010)
[Ü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 19. bzw. 20. Oktober !! (bitte in Stine anmelden)

G1: Mo 10-12, C-221
G2: Mo 10-12, C-101
G3: Mo 12-14, C-221
G4: Mo 12-14, C-101
G5: Mo 14-16, C-221
G6: Mo 14-16, C-101
G7: Mo 16-18, C-221
G8: Di 10-12, C-221
G9: Di 10-12, C-101

Zum Austausch unter den Übungsgruppenteilnehmern steht ein Commsy-Raum bereit.

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

1. Klausur: Fr 19.2.2010 9-12 Uhr Audimax 1

2. Klausur: Fr 26.3.2010 9-12 Uhr Hörsaal Rechtshaus

(ohne Gewähr)

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 (Ü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.

Wirtschaftsinformatik

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 neue aktuelle Skript: fgi09.pdf [Stand: 7.9.2009, 9 MB]
(Passwort auf Seite ii des gedruckten Skriptes oder über die Veranstalter)
Fehlerliste: Errata.pdf
Das aktualisierte Skript: fgi09-29032010.pdf [Stand:29.3.2010, 9 MB] (berücksichtigt: ERRATA und mehr)