Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelorstudium Artificial Intelligence 2024W vorhanden.
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 2021W
Ziele
Die Studierenden beherrschen formale Methoden zur Modellierung und Spezifikation von Informatik-Systemen.
Lehrinhalte
Die Inhalte sind mit der dazugehörigen Vorlesung abgstimmt: 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.
