Proseminar im SS'2002 Theoretische Informatik mit dem Computeralgebrasystem Mathematica


Termin: Di 11-13, RUD 25, R 4.111, Beginn: 30. April


Das Proseminar beinhaltet Vorträge und Übungen zu folgendem Themenplan.

Themenplan:

- Mengen, Relationen und Funktionen

- Folgern und Schließen im Aussagenkalkül

- Elemente des Prädikatenkalküls

- Berechenbarkeitsmodelle

- Methoden der KI-Forschung in der Spieltheorie am Beispiel Sokoban

Ziel der Vorträge ist die Erläuterung wie ein Computeralgebrasystem a 'la Mathematica zur Darstellung abstrakter theoretischer Sachverhalte benutzt werden kann und welche Genugtung und Freude es macht, komplizierte Aufgaben mit Computerunterstützung zu lösen und graphisch ansprechend zu präsentieren. Weitere Einzelheiten demnächst!

Wünsche und Anmeldungen in Goya oder bei

Klaus-Peter Neuendorf   2.04.2002