Menü
Positionsanzeige
Inhalt

[ INBIPUEFOMO ] UE Formal Models
Versionsauswahl
Es ist eine neuere Version 2022W dieser LV im Curriculum Masterstudium Computational Mathematics 2023W 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 2021S
Ziele Beherrschung formaler Methoden zur Modellierung und Spezifikation von Informatik-Systemen.
Lehrinhalte Reaktive Systeme, Endliche Automaten, Petri-Netze, Process-Algebra, Temporale Logik.
Beurteilungskriterien Bi-weekly tests and exam jointly with lecture.
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