| WWU Münster Mathematik: Logik |
Einführung in die Logik und Theoretische Informatik
Wintersemester 2003/2004
| Veranstalter: | Prof. Dr. W. Pohlers, Zi. 810 (Sekretariat Frau Pfeifer, Zi. 811),
Ch. Duchhardt, Zi. 812, Tel. 83-33766 |
| Zeit der Vorlesung: | Montag und Donnerstag 13-15 Uhr, M3 |
| Belegnummern: | Vorlesung: 103.570, Übungen: 103.584 |
| Beginn: | Die erste Vorlesung findet am Montag, den 13.10.2003 statt. | Übungen: | Mittwoch, 9-11, SR 8 bei Arthur Penkala, Mittwoch, 11-13, SR 8 bei Thomas Paetz, Freitag, 13-15, SR 8 bei Arthur Penkala und Freitag, 13-15, SR A bei Benjamin Claverie. |
Aufgaben: |
Die Aufgaben werden jeweils montags in der Vorlesung ausgegeben, die Lösungen können
dann bis zum folgenden Montag, 13:15 Uhr, in die Briefkästen 86-89 geworfen werden.
Bis zu zwei Teilnehmer dürfen zusammen abgeben, wobei jeder einen relevanten Teil verantworten (insbesondere vorrechnen können) muss. Die regelmäßige Beteiligung jedes Gruppenmitglieds muss auch an der Handschrift auf den abgegebenen Zetteln erkennbar sein. |
| Übungsschein: | Einen Übungsschein erhält man durch: - das Erlangen von mindestens 50% der möglichen Punkte aus den Übungsaufgaben, - aktive Teilnahme an den Übungen (u.a. mehrfaches Vorrechnen) und - das Bestehen der Abschlussklausur. |
| Klausur: | Die Klausur findet am Montag, den 09.02.2004, 9-12 Uhr, im M1 statt. |
| Nachklausur: | Leider gab es eine Überschneidung mit der Stochastik... Unser neuer Termin ist Donnerstag, der 22.04.04, von 15-18 Uhr im M2. |
| Anmeldung zur Nachklausur | Die Diplom-Informatiker melden sich bitte rechtzeitig, z.B. durch eine mail an Christoph Duchhardt, zur Nachklausur an. Eine weitere Anmeldung (z.B. im Prüfungssekretariat) ist nicht erforderlich. |
| Bei Problemen: | Sprechen Sie die Veranstalter an oder schicken Sie eine Email an Christoph Duchhardt. |
Hier gehts zum Eintrag im KommVV.
Zum Herunterladen:
 | Ein Skript zur (gesamten) Vorlesung (auf englisch) | ||||||
|
| und ein Buch zur Berechenbarkeitstheorie. | ||||||
|
|
Der Merkzettel zu den Übungen als ps-Datei oder als pdf-Datei. | ||||||
|
|
Sämtliche Übungsbögen als ps-Datei oder als pdf-Datei. | ||||||
|
|
Der Bogen zur Klausurvorbereitung als ps-Datei oder als pdf-Datei. | ||||||
|
Die Korrekturen:
|
