| Detailinformationen |
| Quellcurriculum |
Bachelorstudium Informatik 2025W |
| Lernergebnisse |
Kompetenzen |
| Siehe gleichnamige Vorlesung
|
|
| Fertigkeiten |
Kenntnisse |
| Siehe gleichnamige Vorlesung
|
Siehe gleichnamige Vorlesung
|
|
| Beurteilungskriterien |
Zweiwöchentliche Hausübungen und Quiz (Moodle)
|
| Lehrmethoden |
Schriftlich Übungsbeispiele
|
| Abhaltungssprache |
Deutsch, English for written documents |
| Literatur |
S. Arora and B. Barak, Computational Complexity: A Modern Approach
|
| Lehrinhalte wechselnd? |
Nein |
| Sonstige Informationen |
Diese Übung bildet mit der dazugehörigen Übung eine untrennbare didaktische Einheit. Die hier dargestellten Lehrergebnisse werden im Zusammenwirken der beiden Lehrveranstaltungen erreicht.
|
| Äquivalenzen |
INBPCUEFOG2: UE Formale Grundlagen 2 (1,5 ECTS)
|
