WWU

WWU Münster Mathematik: Logik

Vorlesung: Einführung in die Logik und theoretische Informatik - Wintersemester 01/02



Veranstalter: Prof. Dr. W. Pohlers, Zi. 810, Sprechstunde: nach Anmeldung bei Frau Pfeifer, Zi. 811
G. Wilken, Zi. 809
Zeit der Vorlesung: Dienstag  11-13 Uhr, M5
Freitag  11-13 Uhr, M5
Übungsaufgaben: Die Aufgaben werden jeweils freitags in der Vorlesung ausgegeben. Die Lösungen können dann bis zum Freitag der nächsten Woche (11.15 Uhr) in die Briefkästen der Übungsleiter eingeworfen werden.
Bis zu zwei Teilnehmer können zusammen abgeben, wobei jeder alle gelösten Aufgaben verantworten (insbesondere vorrechnen) können muss.
Die regelmäßige Beteiligung jedes Gruppenmitglieds an den Lösungen muss auch handschriftlich erkennbar sein.
Übungsgruppen: Mittwoch 13-15 Uhr im SR8 bei Dominic Schulte (Briefkasten 87)
Mittwoch 15-17 Uhr im SR8 bei Christoph Heinatsch (Briefkasten 88)
Mittwoch 17-19 Uhr im SR8 bei Markus Kirsch (Briefkasten 90)
bei Problemen: Sprechen Sie die Veranstalter an oder schicken Sie eine e-mail an:
Gunnar Wilken
Übungsschein: 50% der möglichen Punkte aus den wöchentlichen Übungsaufgaben;
Teilnahme an den Übungen; dies beinhaltet u.a. Anwesenheit (nicht nur physische sondern auch geistige) und Vorrechnen an der Tafel;
Bestehen der Klausur.
Klausur: Montag, den 18.02.2002, 10-13 Uhr im M1 (und evtl. M2).
Klausurrückgabe: Dienstag, den 19.2.2002, 15 Uhr im 8. Stock.
Nachklausur: Die Nachklausuren und Scheine können ab sofort bei Frau Pfeifer, Zi. 811, abgeholt werden.

Dateien zum Herunterladen:
Das Merkblatt zu den Übungen als PS-Datei und als PDF-Datei.
Die Übungsbögen:
Abgabe PS-Format PDF-Format
26.10.2001 Bogen 1 Bogen 1
02.11.2001 Bogen 2 Bogen 2
09.11.2001 Bogen 3 Bogen 3
16.11.2001 Bogen 4 Bogen 4
23.11.2001 Bogen 5 Bogen 5
30.11.2001 Bogen 6 Bogen 6
07.12.2001 Bogen 7 Bogen 7
14.12.2001 Bogen 8 Bogen 8
21.12.2001 Bogen 9 Bogen 9
11.01.2002 Bogen 10 Bogen 10
18.01.2002 Bogen 11 Bogen 11
25.01.2002 Bogen 12 Bogen 12
01.02.2002 Bogen 13 Bogen 13
08.02.2002 Bogen 14 Bogen 14


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Wed Nov 22 10:17:47 MET 2000