Inhalt

[ INBIPUEFOMO ] UE Formal Models

Versionsauswahl
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
1,5 ECTS B2 - Bachelor 2. Jahr Informatik Martina Seidl 1 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Informatik 2025W
Lernergebnisse
Kompetenzen
Siehe gleichnamige Vorlesung
Fertigkeiten Kenntnisse
Siehe gleichnamige Vorlesung Siehe gleichnamige Vorlesung
Beurteilungskriterien Mehrere kleine Tests und Übungsaufgaben oder eine Klausur über den gesamten Stoff (beides gemeinsam mit der Vorlesung).
Lehrmethoden Lösung von Aufgaben. Self-Assessments in Moodle.
Abhaltungssprache Englisch
Literatur Folien und Videos.
Lehrinhalte wechselnd? Nein
Sonstige Informationen Diese Übung bildet mit der dazugehörigen Vorlesung eine untrennbare didaktische Einheit. Die hier dargestellten Lernergebnisse werden im Zusammenwirken der beiden Lehrveranstaltungen erreicht.
Äquivalenzen INBPCUEFOG3: UE Formale Grundlagen 3 (1,5 ECTS) bzw. INBIPUEFMOD: UE Formale Modelle (1,5 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer 35
Zuteilungsverfahren Direktzuteilung