WWU

WWU Münster Mathematik: Logik

Vorlesung: Beweistheorie - Sommersemester 2003



Veranstalter: Prof. Dr. W. Pohlers, Zi. 810, Sprechstunde: nach Anmeldung bei Frau Pfeifer, Zi. 811
G. Wilken, Zi. 809
Zeit der Vorlesung: Montag, Donnerstag  13-15 Uhr, M6
Belegnummern: Vorlesung:  103595, Übungen:  103600
Übungsaufgaben: Die Aufgaben werden jeweils dienstags in der Vorlesung ausgegeben. Die Lösungen können dann bis zum Montag der nächsten Woche (13.15 Uhr) in den Briefkasten des Übungsleiters 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.
Übungsgruppe: Mittwoch 17-19 Uhr im SR8 bei Christoph Heinatsch (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 und Vorrechnen an der Tafel.

Dateien zum Herunterladen:
Das Merkblatt zu den Übungen als PS-Datei und als PDF-Datei.
Die Übungsbögen:
Abgabe PS-Format PDF-Format
12.05.2003 Bogen 1 Bogen 1
19.05.2003 Bogen 2 Bogen 2
26.05.2003 Bogen 3 Bogen 3
02.06.2003 Bogen 4 Bogen 4
16.06.2003 Bogen 5 Bogen 5
23.06.2003 Bogen 6 Bogen 6
30.06.2003 Bogen 7 Bogen 7
07.07.2003 Bogen 8 Bogen 8
14.07.2003 Bogen 9 Bogen 9
22.07.2003 Bogen 10 Bogen 10
28.07.2003 Bogen 11 Bogen 11


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Tue Apr 1 14:57:47 MET 2003