Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, die Themen der Vorlesung besser zu verstehen bzw. zu erklären, und auch selbstständig Beweise zu finden oder zu vervollständigen, Beispiele und Gegenbeispiele zu konstruieren, und Zusammenhänge zwischen der mathematischen Logik und anderen Gebieten der Mathematik zu entdecken.

In den Übungen besprechen wir Beispiele (und Gegenbeispiele), die dem Stoff der Vorlesung entsprechend gewählt sind; gelegentlich sind auch Beweise zu vervollständigen.

Kreuzerlübung. Studierende bereiten Aufgaben vor, die vom LVA-Leiter ausgewählt wurden, und präsentieren sie in der UE

Die UE beginnt am 17.10.2024.  

Anmeldung via TISS bis 14.10.2024, 11:00 .

Prüfungsimmanente Lehrveranstaltung. (Kreuzerlübung mit Anwesenheitspflicht) Für positives Absolvieren mindestens 65% ankreuzen, und angekreuzte Aufgaben richtig vortragen.