Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Computational Mathematics
»
(*)
Electives
»
(*)
Supplementary Subjects
Inhalt
[
INBIPVOFOMO
]
VL
Formal Models
Versionsauswahl
Version
2024W
2022W
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
3 ECTS
B2 - Bachelor 2. Jahr
Informatik
Martina Seidl
2 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
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 zugehörigen Übung).
Lehrmethoden
Vortrag mit Folien und vorgerechnete Bespiele.
Abhaltungssprache
Englisch
Literatur
Folien plus Vorlesungsvideos werden zur Verfügung gestellt. Zusatzmaterialien werden in jedem Semester bekannt gegeben.
Lehrinhalte wechselnd?
Nein
Sonstige Informationen
http://fmv.jku.at/fm
Äquivalenzen
INBPCVOFOG3: VO Formale Grundlagen 3 (3 ECTS)
bzw.
INBIPVOFMOD: VO Formale Modelle (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer
-
Zuteilungsverfahren
Direktzuteilung