Voraussetzungen:   keine

Inhalt und Ziel:
Das Proseminar richtet sich an Studierende der Informatik und Mathematik im Grundstudium. Die Kenntnisse über Boolesche Verbände aus den Anfängervorlesungen werden aufgefrischt und vertieft; sie sind Grundlage vieler Vorlesungen des Hauptstudiums. Die Boolesche Algebra wird in anschaulicher Weise - mit Beispielen aus der Spieltheorie - erweitert zur Algebra der Relationen.
Das Proseminar soll die Fähigkeit vermitteln, relationale Beziehungen formal zu beschreiben und ihre algebraischen und verbandstheoretischen Eigenschaften zu beherrschen und auszunutzen.
Pädagogisches Ziel eines Proseminars ist es, das Vorbereiten und Gestalten eines wissenschaftlichen Vortrages zu üben. Die Erlernung erfolgreicher Präsentationstechniken wird in diesem Proseminar durch gezielte Betreuung unterstützt.

Vorbesprechung:
 Dienstag, den 23.1.01  um 15.00 Uhr  im Raum S 3411 oder nach Vereinbarung
 (Zugang über die Bibliothek der Fakultät, 3. Stock im Südgelände, Aufgang gegenüber Frau Metz)

Themen und Themenkreise:
Verband und Boolesche Algebra (Wiederholung)
Boolesche Matrizen und Graphen
Spiele und die Matrix-Gleichung  
Unendliche Wege und die Matrix-Gleichung  
Transitive Hüllen und Hasse-Diagramme
Fixpunktsätze und Anwendungen in der Spieltheorie

Die genauen Themen der Vorträge richten sich nach der Anzahl der Vorträge.

Anmeldung, Betreuung, Themenzuteilung und Literaturversorgung:

Thomas Ströhlein ,   stroehle@in.tum.de ,  Tel.: 289-28181,  Fax: -28485,  Raum S 3421
(Zugang über die Bibliothek der Fakultät, 3. Stock im Südgelände, Aufgang gegenüber Frau Metz)

Nützliche Links:
Allgemeines und Organisatorisches zum Thema Proseminar
Gestaltung der Folien, der Ausarbeitung und des Vortrags
Es gibt dazu auch Hinweise und Materialien durch den Betreuer