Institut für Theoretische Informatik, Algorithmik

Seminar Proofs from THE BOOK

Sommersemester 2010

Allgemeines

Aktuelles

Die Vorbesprechung für das Seminar findet am Mittwoch, den 14. April, um 9:45 Uhr in Raum 301 statt.

Inhalt

Dem 1996 verstorbenen ungarischen Mathematiker Paul Erdős zufolge, hält Gott ein Buch - nämlich das BUCH - mit den schönsten und elegantesten mathematischen Beweisen unter Verschluss. Erdős' höchstes Ziel war es, eben solche Beweise aus dem BUCH zu finden.

Martin Aigner und Günter Ziegler veröffentlichten nach Erdős' Tod 1998 das Buch „Proofs from THE BOOK“, das inzwischen auch in deutscher Sprache unter dem Titel „Das BUCH der Beweise“ erschienen ist. In ihrer Sammlung, die zum Teil gemeinsam mit Paul Erdős entstanden ist, findet man 35 Beweise, die wegen ihrer Eleganz als vielversprechende Kandidaten für BUCH-Beweise gelten.

In diesem Seminar werden die Teilnehmer eine Auswahl der Probleme aus dem Buch der Beweise vorstellen und diskutieren.

Themen

Datum Kapitel Thema Teilnehmer Betreuer
05.05. 12 Drei Anwendungen der Eulerschen Polyederformel Barbara Robert
05.05. 24 Das Nadel-Problem von Buffon Jelena Marcus
19.05. 10Geraden in der Ebene und Zerlegungen von Graphen Roland Rob
19.05. 27 Drei berühmte Sätze über endliche Mengen Jelena Marcus
16.06. 25Schubfachprinzip und doppeltes Abzählen Barbara Robert
16.06. 28 Karten mischen Roland Rob
30.06. 39 Von Freunden und Politikern Barbara Robert
30.06. 40 Die Probabilistische Methode Jelena Marcus
14.07. 36 Satz von Turan Roland Rob
14.07. Kreuzungslemma Ignaz

Zielgruppe

Das Seminar richtet sich and Studierende im fortgeschrittenen Bachelor-Studiengang Informatik sowie an Studiernde im Diplomstudiengang Informatik.

Literatur

Martin Aigner and Günter M. Ziegler. Proofs from THE BOOK. Vierte Auflage, Springer Verlag, 2009 Martin Aigner and Günter M. Ziegler. Das BUCH der Beweise. Dritte Aufllage, Springer Verlag, 2009