 |
') ;?>
') ;?>
'); ?>
CATBox (Combinatorial Algorithm ToolBox) ist ein in sich abgeschlossenes Lernsystem zur Einführung in die algorithmische Kombinatorik, das ein Lehrbuch und die Visualisierungs-Software Gato kombiniert. Im Buch werden kombinatorische Probleme anhand praktischer Anwendungen motiviert. Zugrundeliegende mathematische Ideen und Hilfsmittel werden ausführlich dargelegt, und es wird auf die Modellierung und auf Lösungsansätze eingegangen. Die Software visualisiert die Algorithmen und erleichtert so einerseits das Verständnis und erlaubt andererseits eine Vertiefung des Wissens durch Experimente mit Graphen und Algorithmen.
Das Ziel von CATBox ist die Vermittelung kombinatorischer Ideen anhand ausgewählter Problemstellungen. Die Erfahrungen mit dem seit 1987 bestehenden Vorgängersystemen und vorhandenen Lehrbüchern haben gezeigt, daß weder ein Programm noch ein Lehrbuch alleine einen optimalen Zugang bieten kann. Die Software ermöglicht es, die Dynamik eines Algorithmus darzustellen. Ein Buch ist ein geeigneteres Medium für die Vermittlung der mathematischen Grundlagen und Analysen von Algorithmen.
Darüber hinaus macht erst die Kombination aus Lehrbuch und Software visuell unterstütztes Lernen durch Interaktion mit dem Programm möglich. Der Benutzer wird so zum Betrachten, Experimentieren und Mitmachen eingeladen. Zielgruppe sind dabei die Hörer von Hochschulvorlesungen der Mathematik und Informatik.
') ;?>
') ;?>
'); ?>