Blume

Übungen zur Vorlesung
Mathematische Logik fuer Informatiker
Wintersemester 2015-2016

Universitätssiegel
Mathematisches Institut Abteilung für Math. Logik

ACHTUNG: Fragestunde am 14.04.2016 von 13 bis 14 Uhr im Raum 404, Eckrestrasse 1.

Übungsgruppe 1
Mittwoch (Anfang: 28.10), Uhr: 12-14, SR 00034 in G.-Koehler allee 51
Tutor: Anna-Maria Ammer

Übungsgruppe 2
Donnerstag (Anfang: 29.10), Uhr: 14-16, SR 00034 in G.-Koehler allee 51
Tutor: Michael Loesch

Übungsgruppe 3
Donnerstag (Anfang: 29.10), Uhr:14-16, SR 00031 in G.-Koehler allee 51
Tutor: Brendan Stuber-Rousselle

Übungsgruppe 4
Donnerstag (Anfang: 29.10), Uhr: 16-18, SR 00-010/014 in G.-Koehler allee 101
Tutor: Anna-Maria Ammer

Skript von Prof. Dr. Ziegler

Regeln fuer die Klausurzulassung

Aufgabe