Seminar FGI 3: Logik und Semantik von Programmen
Veranstalter: Michael Köhler-Bußmeier und Rüdiger Valk
Termine der 4 Seminargruppen
- Di., 12-14 in C-221, Köhler
- Di., 14-16 in C-221, Köhler
- Mi., 14-16 in C-221, Köhler
- Mi., 14-16 in C-101, Valk
Vorträge:
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 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.
Rahmen für den Vortrag und die Hausarbeit:
Das zip-Archiv enthält einen allgemeinen Rahmen für den Vortrag (auf Basis von LaTeX/beamer) sowie für die Hausarbeit (LaTeX). Bitte verwenden Sie diesen Rahmen für Ihre Darstellung.
Vorbesprechung des Vortrags:
Bitte bringen Sie die Rohfassung Ihres Vortrages bereits eine Woche vorher mit, damit der Veranstalter diese mit Ihnen am Ende des Seminartermins durchsprechen kann.
