Inhalt

[ INBIPVOFOMO ] VL 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
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