Im Wintersemester bietet die Arbeitsgruppe Logik und Mengenlehre zwei Seminare an. Eine gemeinsame Vorbesprechung, zu der alle Interessenten sehr herzlich eingeladen sind, findet statt am Donnerstag, dem 19. Juli 2001 in Seminarraum B, Beringstraße 4, Raum 37 (3. Stock), der Beginn ist 13.30 Uhr.
Dieses Seminar setzt die Effektivisierung der deskriptiven Mengenlehre aus Teil II der Vorlesung "Mengenlehre und Logik II" im Sommersemester 2001 fort. Wir beschäftigen uns mit effektiven Varianten von Theoremen, die in der Vorlesung behandelt wurden. Das Seminar ist zusätzlich als Begleitung für die Vorlesung "Mengenlehre & Logik III" gedacht und richtet sich insbesondere auch an die Hörer dieser Vorlesung.
Literatur: Yiannis N. Moschovakis, Descriptive Set Theory, 1980
Vorkenntnisse: "Mengenlehre & Logik II" (SS 2001) oder gleichwertige Kenntnisse
Der Begriff der Komplexität ist ein fundamentaler und wichtiger Begriff der Theoretischen Informatik. Die Grundstudiumsvorlesung "Informatik IV" bietet nur eine sehr grundlegende Einf¨hrung in die strukturelle Theorie der Komplexität.
In diesem Seminar werden wir einige der typischen Komplexitätsklassen wie P, NP, coNP, PSPACE und die polynomielle Hierarchie mit mathematischen Methoden betrachten.
Literatur: Christos H.Papadimitriou, Computational Complexity, 1994
Vorkenntnisse: Eine grundlegende Kenntnis der Begriffe der Berechenbarkeitstheorie, wie sie von einer Grundstudiumsvorlesung in Theoretischer Informatik (z.B. "Informatik IV" im laufenden Sommersemster) oder in der "Mengenlehre & Logik II" im SS 01 bereitgestellt werden, reichen aus.
Für Rückfragen stehen wir jederzeit unter logic (at) math.uni-bonn.de oder 73-2928 zur Verfügung.
Arbeitsgruppe Logik und Mengenlehre
Last changed: July 19th, 2001