| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Informatik 2024W |
| Ziele |
Die Studierenden beherrschen formale Methoden zur Modellierung und Spezifikation von Informatik-Systemen. Nach Absolvierung dieses Kurses sind Studierende in der Lage
- Beschreibungen von Systemen mittels formaler Modelle zu verstehen
- Systeme mit formalen Modellen zu beschreiben
- einfache Verifikations- und Plannungsaufgaben mittels formalen Modellen zu lösen
|
| Lehrinhalte |
Die Inhalte sind mit der dazugehörigen Vorlesung abgestimmt:
- Reaktive Systeme
- Endliche Automaten
- Petri-Netze
- Process-Algebra
- Temporale Logiken
- Bounded Model Checking
- Markov Decision Processes
|
| Beurteilungskriterien |
Mehrere kleine Tests und Präsentation von Übungsaufgaben oder eine Klausur über den gesamten Stoff (beides gemeinsam mit der Vorlesung).
|
| Lehrmethoden |
Präsentation von gelösten Aufgaben durch Studierende.
Self-Assessments in Moodle.
|
| Abhaltungssprache |
Englisch |
| Literatur |
Folien.
|
| Lehrinhalte wechselnd? |
Nein |
| Sonstige Informationen |
Moodle Kurs
|
| Äquivalenzen |
INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS) bzw. INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
|
