Literatur wird bekannt gegeben.

Die Veranstaltung dient als Ergänzung zur Veranstaltung 4360 und dient der praktischen Umsetzung der theoretischen Inhalte.

Hinweise: für die Studiengänge IMIT und WI reicht die Anmeldung zu Aktuelle Standards, Sie besuchen und bearbeiten die gleichen Inhalte und bekommen am Ende wie im Modulhandbuch hinterlegt 6 LP. Für Formalisierung müssen Sie sich nicht extra anmelden (und können Sie vermutlich auch gar nicht). Studierende des M.A. IIM-IW melden sich bitte für beide Kurse an.

Durchführung: aufgrund der Erfahrungen der letzten Jahre (und den aktuellen Ausläufern der Pandemie) wird ein Großteil der Veranstaltung online stattfinden, wir verwenden dazu u.a. das BBB, das Collaboard sowie ShareLatex in der AcademicCloud. Ggf. streuen wir Vorort-Workshops bei Bedarf ein. Details erhalten Sie in der ersten Semesterwoche per Mail, da aufgrund des Feiertags just der erste Termin ausfällt. Start im BBB ist dann erst der 7.11., Sie bekommen aber vorher Informationen zum Einstieg.

Diese Veranstaltung sowie auch die Veranstaltung "4360 - Aktuelle Standards" wird zu großen Teilen digital und in deutscher Sprache angeboten.

MA-IIM1-2: Formalisierung

Die Veranstaltung dient als Ergänzung zur Veranstaltung 4360 und dient der praktischen Umsetzung der theoretischen Inhalte.

Hinweise: für die Studiengänge IMIT und WI reicht die Anmeldung zu Aktuelle Standards, Sie besuchen und bearbeiten die gleichen Inhalte und bekommen am Ende wie im Modulhandbuch hinterlegt 6 LP. Für Formalisierung müssen Sie sich nicht extra anmelden (und können Sie vermutlich auch gar nicht). Studierende des M.A. IIM-IW melden sich bitte für beide Kurse an.

Durchführung: aufgrund der Erfahrungen der letzten Jahre (und den aktuellen Ausläufern der Pandemie) wird ein Großteil der Veranstaltung online stattfinden, wir verwenden dazu u.a. das BBB, das Collaboard sowie ShareLatex in der AcademicCloud. Ggf. streuen wir Vorort-Workshops bei Bedarf ein. Details erhalten Sie in der ersten Semesterwoche per Mail, da aufgrund des Feiertags just der erste Termin ausfällt. Start im BBB ist dann erst der 7.11., Sie bekommen aber vorher Informationen zum Einstieg.

Lernziele

Die Studierenden kennen formale Konzepte der Modellierung und können diese einsetzen. Sie können die Grenzen der prinzipiellen Möglichkeiten der Formalisierung mittels theoretisch fundierter Aussagen benennen und einschätzen.

Diese Veranstaltung sowie auch die Veranstaltung "4360 - Aktuelle Standards" wird zu großen Teilen digital und in deutscher Sprache angeboten.

Master IIM