Mathematical
Logic Group
(Department of
Mathematics, University of
Bonn)
Sommersemester 05
Vorlesung: Prof. Dr. Peter Koepke
Montag, 14 - 16 Uhr, HS D, Römerstrasse
Übungen: Dr. Bernhard Irrgang
Übungsgruppen
Gruppe 1: Montag 10 - 12 Uhr, AVZ I Raum 7
Gruppe 2: Montag 10 - 12 Uhr, AVZ I Raum 16
Gruppe 8: Montag 10 - 12 Uhr, AVZ I Raum 6
Gruppe 3: Montag 16 - 18 Uhr, AVZ I Raum 5
Gruppe 4: Montag 16 - 18 Uhr, AVZ I Raum 6
Gruppe 5: Montag 16 - 18 Uhr, AVZ I Raum 7
Gruppe 6: Dienstag 17 - 19 Uhr, AVZ I Raum 2
Gruppe 7: Mittwoch 8 - 10 Uhr, AVZ I Raum 5
Gruppe 9: Mittwoch 10 - 12 Uhr, AVZ I Raum 7
Gruppe 10: Mittwoch 10 - 12 Uhr, AVZ I Raum 16
Gruppe 11: Mittwoch 16 - 18 Uhr, AVZ I Raum 5
Gruppe 12: Mittwoch 16 - 18 Uhr, AVZ I Raum 7
Gruppe 13: Donnerstag 16 - 18 Uhr, AVZ I Raum 2
Gruppe 14: Freitag 8 - 10 Uhr, AVZ I Raum 5
Gruppe 15: Freitag 12 - 14 Uhr, AVZ I Raum 5
Gruppe 16: Freitag 12 - 14 Uhr, AVZ I Raum 6
Das AVZ I befindet sich in der Endenicher Allee 11.
Übungsblätter
Blatt 1
Blatt 2
Blatt 3
Blatt 4
Blatt 5
Blatt 6
Blatt 7
Blatt 8
Blatt 9
Blatt 10
Blatt 11
Blatt 12
Beweis-Checker
Klausur
Dienstag, 26. 07. 05, 9.30 - 11.15 Uhr, Audimax und HS D (Römerstrasse)
Aufgabenblatt (als pdf-File)
Alte DPO: Die Klausur bestanden haben die Teilnehmer mit den Matrikelnummern 1601388, 1527844, 1347185, 1494626, 1524799, 1525009, 1609235, 1588042, 1630839, 1238349, 1614157. Die Klausuren und evtl. Scheine können bei Frau Reuther (Beringstr. 4, Zimmer 27) abgeholt werden.
Neue DPO: Die Ergebinsse hängen im Prüfungsamt Informatik aus. Die Klausuren können bis zum 19. September in der Sprechstunde bei Herrn Irrgang eingesehen werden.
Wiederholungsklausur
Montag, 26. 09. 05, 9.30 - 11.15 Uhr, HS B und HS D (Römerstrasse)
Aufgabenblatt (als pdf-File)
Alte DPO: Die Klausur bestanden haben die Teilnehmer mit den Matrikelnummern 1472734, 1397264, 1498687, 1621549, 1617729. Scheine können bei Frau Reuther (Beringstr. 4, Zimmer 27) abgeholt werden.
Neue DPO: Die Ergebinsse hängen beim Prüfungsamt Informatik aus. Ein Termin zur Klausureinsicht wird vom Prüfungsamt angeboten.
Last changed: November 23, 2005