Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Elektronik und Informationstechnik
»
Informationstechnik
Inhalt
[
INBIPVOFOMO
]
VL
Formal Models
Versionsauswahl
Version
2021W
2013W
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
