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
[
INBIPVOFOMO
]
VL
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
3 ECTS
B2 - Bachelor 2. Jahr
Informatik
Armin Biere
2 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Informatik 2013W
Ziele
Erlernen formaler Methoden zur Modellierung und Spezifikation von Informatik-Systemen.
Lehrinhalte
Hoare-Logik, Reaktive Systeme, Endliche Automaten, Petri-Netze, Process-Algebra, Temporale Logik.
Beurteilungskriterien
Abhaltungssprache
Englisch
Lehrinhalte wechselnd?
Nein
Äquivalenzen
INBPCVOFOG3: VO Formale Grundlagen 3 (3 ECTS)
bzw.
INBIPVOFMOD: VO Formale Modelle (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer
-
Zuteilungsverfahren
Direktzuteilung
