WWU

WWU Münster Mathematik: Logik

Vorlesung: Rekursionstheorie - Wintersemester 2002/2003



Veranstalter: Prof. Dr. W. Pohlers, Zi. 810, Sprechstunde: nach Anmeldung bei Frau Pfeifer, Zi. 811
G. Wilken, Zi. 809
Zeit der Vorlesung: Dienstag, Freitag  13-15 Uhr, M3
Belegnummern: Vorlesung:  103616, Übungen:  103620
Übungsaufgaben: Die Aufgaben werden jeweils dienstags in der Vorlesung ausgegeben. Die Lösungen können dann bis zum Dienstag 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
29.10.2002 Bogen 1 Bogen 1
05.11.2002 Bogen 2 Bogen 2
12.11.2002 Bogen 3 Bogen 3
19.11.2002 Bogen 4 Bogen 4
26.11.2002 Bogen 5 Bogen 5
03.12.2002 Bogen 6 Bogen 6
10.12.2002 Bogen 7 Bogen 7
17.12.2002 Bogen 8 Bogen 8
07.01.2003 Bogen 9 Bogen 9
14.01.2003 Bogen 10 Bogen 10
21.01.2003 Bogen 11 Bogen 11
28.01.2003 Bogen 12 Bogen 12
04.02.2003 Bogen 13 Bogen 13
11.02.2003 Bogen 14 Bogen 14


Logik Mathe WWU übergeordnetes Verzeichnis
Betreuung der Logikseiten
Erzeugungsdatum: Fri Apr 19 11:57:47 MET 2002