Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Informatik
»
Theorie
Inhalt
[
INBIPUEFOMO
]
UE
Formal Models
Versionsauswahl
Version
2024W
2022W
2021W
2021S
2013W
2012W
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 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