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.
- 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