Markus Bender

Logik für Informatiker Sommer 2012

Zeiten und Räume:
Gruppe 1: Donnerstags 08:30-10:00 in A 213
Gruppe 2: Donnerstags 08:30-10:00 in B 013 (ab 03.05)
Gruppe 3: Freitags 08:30-10:00 in A 213
Homepage der Vorlesung
Homepage
Newsgroup:
infko.logik (Verhalten in den Newsgroups)

Material:

Alte Kausuren:

Übungszettel:

Hier erscheinen Mittwochs gegen 16:00 Uhr die Übungszettel.
Jeder, der gedenkt die Klausur mitzuschreiben, sollte sämtliche Aufgaben bearbeiten.
Für Diskussionen, Fragen, etc rund um die Übungsblätter bietet sich die Newsgroup an.

Abgabe:

Die Abgabe der Lösungen ist freiwillig.
Bei Abgabe der Lösungen sind folgende Punkte zu beachten: