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
[
INBIPUEFOMO
]
UE
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
1,5 ECTS
B2 - Bachelor 2. Jahr
Informatik
Armin Biere
1 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
INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS)
bzw.
INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer
35
Zuteilungsverfahren
Direktzuteilung
