| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Informatik 2026W |
| Lernergebnisse |
Kompetenzen |
| Siehe gleichnamige Vorlesung
|
|
| Fertigkeiten |
Kenntnisse |
| Siehe gleichnamige Vorlesung
|
Siehe gleichnamige Vorlesung
|
|
| Beurteilungskriterien |
Wöchentliche Einzelübungen mit Abgabegesprächen.
|
| Lehrmethoden |
Lösung von Aufgaben.
Self-Assessments in Moodle.
|
| Abhaltungssprache |
Englisch |
| Literatur |
Folien aus der Vorlesung und zusätzliche Beispiele aus der Übung.
|
| 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)
|
