Mathematical Logic Group

(Department of Mathematics, University of Bonn)


Seminar in der Mathematischen Logik

Wintersemester 2001/2002

TEIL I: Mathematik & Informatik

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.

Ankündigung


Back


Last changed: February 19th, 2002