Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Seminar FGI 3: Logik und Semantik von Programmen
(Wintersemester 2013/14)

Veranstalter:

Frank Heitmann und Rüdiger Valk

Termine der 4 Seminargruppen:

  • Di., 12-14 in C-221, Heitmann
  • Di., 14-16 in C-221, Heitmann
  • Mi., 14-16 in C-221, Valk
  • Fr., 16-18 in C-221, Heitmann

Kommentare/Inhalte:

Die formale Beschreibung des Verhaltens von Informatiksystemen durch verschiedene Methoden der Semantik und Logik ist von großer Bedeutung, z.B. um Portabilität (d.h. Ausführung auf verschiedenen Plattformen) oder Mobilität (d.h. Ausführung in verschiedenen Umgebungen) zu erzielen. Solche Methoden sind auch für die formale Verifikation wichtig.

Lernziel:

Lernziel ist die Fähigkeit zur fachlich qualifizierten Reflexion und Artikulation über ein Fachthema der Informatik. Dabei sind Formen der Präsentation, Vortragsweise und schriftlichen Darstellung zu üben. Das Angebot gilt auch für Diplomstudierende und kann als Stoff für Vertiefungsprüfungen verwandt werden. Es ist Pflicht für das Mastermodul FGI 3.

Vorgehen:

Die Zulassung zur Modulprüfung für Masterstudierende setzt die regelmäßige und erfolgreiche (Seminararbeit und Referat) Teilnahme an dem integrierten Seminar voraus. Die Modulprüfung findet als Modulabschlussprüfung in Form einer in der Regel mündlichen (wird zu Beginn der Veranstaltung bekannt gegeben) Prüfung (über die Gesamtinhalte der Vorlesungsanteile und des Seminaranteils) statt.

Literatur:

Insbesondere für die Gruppe am Freitag ist das Buch Automata, Logics, and Infinite Games, Lecture Notes of Computer Science, Band 2500 hilfreich. Es ist über die Bibliothek zugreifbar (einfach nach dem Titel suchen und dann die Online-Version auswählen, dort gibt es unten dann Links, um auf die PDFs zuzugreifen).

Folien:

Folien der einzelnen Vorträge:
Impressum
Letzte Änderung: 10:57 23.06.2015   Seitenanfang