Ausgewählte Themen aus dem Bereich Formale Methoden und ihre Anwendungen

Worum geht's

Du beschäftigst dich mit aktuellen Themen aus dem Bereich Formale Methoden und ihrer Anwendung. Am Ende kennst du Forschungs- und Entwicklungsstand in ausgewählten Teilgebieten und kannst dich mit aktuellen Forschungsprojekten und -ergebnissen auseinandersetzen.

Was du danach kannst

Kenntnis aktueller Forschungsstände in ausgewählten Bereichen der Formalen Methoden
Fähigkeit, neuere Forschungsprojekte kritisch zu verfolgen und einzuordnen
Anwendung und Bewertung ausgewählter Konzepte und Techniken

Aus was das Modul besteht

VorlesungStellt ausgewählte Konzepte und Techniken vor und erläutert sie anhand von Beispielen
Übung (möglicherweise)Vertieft das Verständnis anhand von Aufgaben und übt die Anwendung der Techniken zur Lösung überschaubarer Problemstellungen

Lehrmethode

Folien- oder TafelpräsentationVisualisiert und erklärt die Konzepte
Beispiele/DemonstrationenVeranschaulichen die Anwendung der Techniken
ÜbungsaufgabenTrainieren das eigenständige Lösen konkreter Problemstellungen
Eventuell Online-Programmierung/AnimationenErmöglichen praxisnahe oder interaktive Demonstrationen

Termine

Vorlesung mit ÜbungAusgewählte Themen aus dem Bereich Formale Methoden und ihre Anwendungen (IN3350)2 Gruppen zur Wahl

ADi.14:00–16:00
00.13.008, Seminarraum (5613.EG.008)
15× · 13.10.–02.02.
- 13.10.
- 20.10.
- 27.10.
- 03.11.
- 10.11.
- 17.11.
- 24.11.
- 01.12.
- 08.12.
- 15.12.
- 22.12.
- 12.01.
- 19.01.
- 26.01.
- 02.02.
BMo.14:00–16:00
01.11.018, Seminarraum (5611.01.018)
14× · 19.10.–01.02.
- 19.10.
- 26.10.
- 02.11.
- 09.11.
- 16.11.
- 23.11.
- 30.11.
- 07.12.
- 14.12.
- 21.12.
- 11.01.
- 18.01.
- 25.01.
- 01.02.

Aus dem laufenden Semester, unverbindlich. Von mehreren Gruppen besucht man eine; der Stundenplan schlägt automatisch die mit den wenigsten Überschneidungen vor.

Filter