News | Dates | Literature  

TKS-Seminar

Seminar in Summer 2010

Gehalten von Prof. Dr. Nicole Schweikardt

News

Introduction

Das TKS-Seminar richtet sich an Mitglieder der Arbeitsgruppe Theorie komplexer Systeme sowie an alle, die Interesse an theoretischer Informatik haben.
Kreditpunkte oder ein Seminarschein können hier nicht erworben werden — dafür aber vertiefte Kenntnisse in theoretischer Informatik, insbesondere in den Bereichen Logik, Komplexitätstheorie und Datenbanktheorie.

Im SoSe 2010 wollen wir im TKS-Seminar Teile des folgenden Buchs durcharbeiten:

Das Seminar findet während der Vorlesungszeit des Sommersemesters 2010 i.d.R. Mittwochs von 16-18 Uhr in Raum 117 (Robert-Mayer-Str. 11-15) statt.

Dates

Mi, 14.04.10, 16:15-17:15 Nicole Schweikardt
Vier von sechs Beweisen für die Unendlichkeit der Primzahlen
Mi, 21.04.10, 16:15-17:45 Nicole Schweikardt; Mariano Zelke
Zwei weitere Beweise für die Unendlichkeit der Primzahlen; das Bertrandsche Postulat
Mi, 28.04.10, 16:15-17:45 Mariano Zelke; Nicole Schweikardt
Rest des Kapitels über das Bertrandsche Postulat; ein 6-Farben-Satz
Mi, 05.05.10, 16:15-17:45 Nicole Schweikardt; Isolde Adler
Ein 5-Farben-Satz; Geraden in der Ebene und Zerlegungen von Graphen
Mi, 12.05.10, 16:15-17:15 Prof. Wojciech Szpankowski
Analytic information theory and beyond (Vortrag im Forschungsseminar Informatik und Mathematik, Raum 711)
Mi, 19.05.10, 16:15-17:45 Isolde Adler
Rest des Kapitels über Geraden in der Ebene und Zerlegungen von Graphen
Mi, 26.05.10, 15:30-17:00 André Böhm
Ein Quadrat und viele Dreiecke
Mi, 02.06.10, 10:15-11:45 Philipp Krause
Mengen, Funktionen und die Kontinuumshypothese
Mi, 09.06.10, 16:15-17:45 Dominik Freydenberger
Entscheidungsprobleme für praktische reguläre Ausdrücke (Teil 1)
Mi, 16.06.10, 16:15-17:45 Dominik Freydenberger
Entscheidungsprobleme für praktische reguläre Ausdrücke (Teil 2)

Literature

[AZ] Martin Aigner und Günter M. Ziegler: Das BUCH der Beweise. Springer-Verlag, 3. Auflage, 2010.