[ INBIPUEFOMO ] UE Formal Models
|
|
|
Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2024W vorhanden. |
|
(*) Leider ist diese Information in Deutsch nicht verfügbar. |
|
Workload |
Ausbildungslevel |
Studienfachbereich |
VerantwortlicheR |
Semesterstunden |
Anbietende Uni |
1,5 ECTS |
B2 - Bachelor 2. Jahr |
Informatik |
Martina Seidl |
1 SSt |
Johannes Kepler Universität Linz |
|
|
|
Detailinformationen |
Quellcurriculum |
Bachelorstudium Informatik 2022W |
Ziele |
Die Studierenden beherrschen formale Methoden zur Modellierung und Spezifikation von Informatik-Systemen.
|
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 |
Zwei-wöchentliche 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 |
http://fmv.jku.at/fm
|
Äquivalenzen |
INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS) bzw. INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
|
|
|
|
Präsenzlehrveranstaltung |
Teilungsziffer |
35 |
Zuteilungsverfahren |
Direktzuteilung |
|