| 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)
|
