Wöchentliche schriftliche Abgabe von ausgearbeiteten Übungsbeispielen.
Lehrmethoden
Übungsaufgaben begleitend zum aktuellen Vorlesungsstoff werden wöchentlich ausgegeben und sind elektronisch einzureichen. In der Übungseinheit werden Lösungen der Aufgaben vorgetragen und zusätzliche Beispiele und Fragen diskutiert.
Abhaltungssprache
Deutsch
Literatur
Basisliteratur: Vorlesungsskript (auf der Kursseite zur Verfügung gestellt)
siehe auch Literaturhinweise der VL Formale Grundlagen
Lehrinhalte wechselnd?
Nein
Frühere Varianten
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis) 1WBMMLU: UE Mathematik und Logik (2002W-2014S)
