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 den LVA-Leiter ausgewählt wurden, und präsentieren sie in der UE
Die UE beginnt am 8.10.2019 (voraussichtlich immer Di 10:00 pünktlich bis 10:50 im Sem DA05 grün, Freihaus 5.Stock). Anmeldung via TISS bis Fr 4.10.2018.
Details zur UE werden in der ersten VO bekanntgegeben. (3.10.2018)
Prüfungsimmanente Lehrveranstaltung. (Kreuzerlübung mit Anwesenheitspflicht) Mindestens 65% ankreuzen, und angekreuzte Aufgaben richtig vortragen.
WICHTIG!! Die Anmeldung erfolgt über die Gruppe, siehe dort!
