Fakultät für Informatik der Technischen Universität München
Forschungs- und Lehreinheit VII - Theoretische Informatik und Grundlagen der KI

 

Proseminar für Informatiker und Mathematiker im Sommersemester 2006


Vom Booleschen Verband zur Relationenalgebra -
mit Anwendungen in der Spieltheorie

Prof. Brauer und Dr. Ströhlein

 

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:
Mittwoch, den 1.2.06  um 15:00 Uhr  im Raum MI 00.03.45 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:

Einen Schein erhält jede Teilnehmerin und jeder Teilnehmer, die/der
* bei den Vorträgen anwesend war,
* selbst einen Vortrag (mind. 45 min) gehalten hat und
* eine Ausarbeitung (mind. 10 Seiten) zu dem Vortrag verfasst hat.

Scheine werden grundsätzlich benotet.

Voranmeldung per Email: stroehle@in.tum.de
Eine Voranmeldung per Email ist empfehlenswert, da diese bei großer Nachfrage über die Teilnahme am Proseminar entscheidet.
Es werden nur Voranmeldungen angenommen und beantwortet,
- die Namen, Vornamen, Geburtsdatum,
- Matrikelnummer, Fachsemesterzahl und Hauptfach der/des Studierenden
enthalten.
Eine kurze Begründung, warum man am Proseminar teilnehmen will, ist wünschenswert.

Thomas Ströhlein ,   stroehle@in.tum.de ,  Tel.: 289-16908, Fax: -16909, Raum MI 00.03.038
(Zugang über die Bibliothek der Fakultät)


Nützliche URL:
Allgemeines und Organisatorisches zum Thema Proseminar