TKS-Seminar

Seminar im SoSe 2010

Gehalten von Prof. Dr. Nicole Schweikardt

Aktuelles

Am 23.06.2010 und am 30.06.2010 findet kein TKS-Seminar statt.

Einführung

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:

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

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.

Termine

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)

Literatur

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