Ü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. Die bei den Abgaben erzielten Punkte bestimmen die Noten.
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)
