Formale Systeme
- Typ:
- Semester: WS 19/20
-
Zeit:
17.10.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
18.10.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
24.10.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
25.10.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
31.10.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
07.11.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
08.11.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
14.11.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
15.11.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
21.11.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
22.11.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
28.11.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
29.11.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
05.12.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
06.12.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
12.12.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
13.12.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
19.12.2019
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
20.12.2019
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
09.01.2020
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
10.01.2020
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
16.01.2020
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
17.01.2020
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
23.01.2020
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
24.01.2020
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
30.01.2020
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
31.01.2020
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
06.02.2020
14:00 - 15:30 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
07.02.2020
11:30 - 13:00 wöchentlich
30.22 Gaede-Hörsaal
30.22 Physik-Flachbau
-
Dozent:
Prof. Dr. Bernhard Beckert
Dr. rer. nat. Mattias Ulbrich - SWS: 4
- LVNr.: 24086
Voraussetzungen | Die Voraussetzungen werden in der Modulbeschreibung erläutert. |
Beschreibung | Diese Vorlesung soll die Studierenden einerseits in die Grundlagen der formalen Modellierung und Verifikation einführen und andererseits vermitteln, wie der Transfer von der Theorie zu einer praktisch einsetzbaren Methode betrieben werden kann.
|
Literaturhinweise | Vorlesungsskriptum 'Formale Systeme', Weiterführende Literatur Wird in der Vorlesung bekannt gegeben. |
Lehrinhalt | Diese Vorlesung soll die Studierenden einerseits in die Grundlagen der formalen Modellierung und Verifikation einführen und andererseits vermitteln, wie der Transfer von der Theorie zu einer praktisch einsetzbaren Methode betrieben werden kann.
|
Ziel | Der Studierende soll in die Grundbegriffe der formalen Modellierung und Verifikation von Informatiksystemen eingeführt werden. Der Studierende soll die grundlegende Definitionen und ihre wechselseitigen Abhängigkeiten verstehen und anwenden lernen. Der Studierende soll für kleine Beispiele eigenständige Lösungen von Spezifikationsaufgaben finden können, gegebenfalls mit Unterstützung entsprechender Softwarewerkzeuge. Der Studierende soll für kleine Beispiele selbständig Verifikationsaufgaben lösen können, gegebenfalls mit Unterstützung entsprechender Softwarewerkzeuge. |