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 16.7.02  um 14:15 Uhr  im Raum N0815 (Nordgelände Ecke Arcisstr./Hessstr. Eingang aber vom Innenhof des Nordbaus) oder nach persönlicher Vereinbarung


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-16908,  Fax: -16909,  Raum MI 00.03.038
(Zugang über die Bibliothek der Fakultät)