Nach positiver Absolvierung der Lehrveranstaltung sind die Studierenden 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.2020.  Ab 22.10. immer im Zeichensaal 3 (Freihaus grün, 7.Stock, gegenüber vom Aufzug), 11:00-11:55

Anmeldung via TISS bis Montag 5.10.2020 .

Details zur UE werden in der ersten VO bekanntgegeben. (1.10.2020)

Die Vorlesung wird bis auf Weiteres Dienstag und Donnerstag stattfinden. Dienstag im FH HS 2 11:15-12:50, Donnerstag Zeichensaal  3, 12:00-12:50. 

Allfällige Änderungen werden über die tiss-news zur UE bekannt gegeben. 

Prüfungsimmanente Lehrveranstaltung. (Kreuzerlübung mit Anwesenheitspflicht) Mindestens 65% ankreuzen, und angekreuzte Aufgaben richtig vortragen.

WICHTIG!! Die Anmeldung erfolgt über die Gruppe, siehe dort!