| 17.10.2001 | fällt aus | ||
| 24.10.2001 | Philipp Rohde | Einführung | Handout [PostScript] |
| 31.10.2001 | Philipp Rohde | Raum & Zeit, Teil 1 | |
| 07.11.2001 | Philipp Rohde | Raum & Zeit, Teil 2 | |
| 14.11.2001 | Martina Eckner | NP-vollständige Probleme, Teil 1 | |
| 21.11.2001 | Martina Eckner | NP-vollständige Probleme, Teil 2 | |
| 28.11.2001 | Benjamin Frowein | P=NP mit Orakeln, Teil 1 | Handout [PostScript] |
| 05.12.2001 | Dies Academicus | ||
| 12.12.2001 | Benjamin Frowein Ute Gantenberg |
P=NP mit Orakeln, Teil 2 Die polynomielle Hierarchie, Teil 1 |
Handout [PostScript] |
| 19.12.2001 | Ute Gantenberg | Die polynomielle Hierarchie, Teil 2 | |
| 09.01.2002 | Henning Lemster | PSPACE-vollständige Probleme | Mußte ausfallen, da der Referent nicht erschienen ist! |
| 16.01.2002 | Torsten Langer | "A glimpse beyond" | Handout [PostScript] Ausarbeitung [PostScript] |
TEIL II: Mengenlehre & Logik |
|||
| 23.01.2002 | Anke Dick & Tanja Hötte | Das Suslin-Kleene-Theorem, Teil 1 | Handout [PostScript] |
| 30.01.2002 | Anke Dick & Tanja Hötte | Das Suslin-Kleene-Theorem, Teil 2 | |
| 06.02.2002 | Ute Gantenberg | Induktive Definierbarkeit, Teil 1 | Handout [PostScript] |
| 13.02.2002 | Ute Gantenberg | Induktive Definierbarkeit, Teil 2 | |
Das Seminar findet Mittwochs, 10 - 12 Uhr in Seminarraum A statt.
Das Seminar wird betreut von Philipp Rohde [rohde (at) math.uni-bonn.de], Be4/Zi33, Tel.: 73 - 25 01.
Exemplare der beiden Bücher
können dort für kurze Zeit zum Kopieren entliehen werden.
Last changed: February 19th,
2002