Seminarankündigung FMI/TI (Sommersemester 2016) TITEL: Das Buch der Beweise DOZENTEN: Diekert / Hertrampf TEILNEHMERZAHL: 8–15 Das schöne Buch von Martin Aigner und Günter Ziegler mit dem Titel Das BUCH der Beweise enthält eine ganze Reihe meist sehr eleganter Beweise aus vielen Bereichen der Mathematik und der Theoretischen Informatik, z.B. in den Gebieten Graphentheorie, Kombinatorik, Zahlentheorie und Geometrie. Im Seminar soll eine Auswahl dieser Beweise in jeweils etwa 60-minütigen Vorträgen vorgestellt werden. Die Teilnehmer benötigen als Vorkenntnisse die Inhalte der ersten drei Semester des Bachelor-Studiengangs Informatik oder Softwaretechnik. Das angegebene Buch, das die Grundlage des Seminars bilden soll, erschien im Springer-Verlag Heidelberg (2001) und ist im Universitätsnetz elektronisch zugreifbar. ORGANISATION: Beim ersten Termin in der 1. Vorlesungswoche werden die Themen vergeben. Je nach tatsächlicher Teilnehmerzahl beginnen wir voraussichtlich Anfang Mai mit den Vorträgen, die in Doppelterminen bis zum Semesterende gehalten werden sollen. Weitere Angaben zu den Zielen und Bedingungen kann man der Modulbeschreibung Seminar-INF entnehmen. ANFORDERUNGEN: Jeder Vortrag soll als Tafelvortrag gehalten werden, und es muss eine Ausarbeitung des Vortrags abgegeben werden. Zudem wird regelmäßiges Erscheinen zu den Seminarterminen und aktive Teilnahme an den Diskussionen erwartet. V. Diekert, U. Hertrampf