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.
Der Stoff kann bei der Absprache zu Vertiefungsprüfungen für Diplomstudierende verwandt werden.
Impressum
Korrekturen, Anmerkungen bitte an:
Rüdiger Valk
