Universität Dortmund -
FB Informatik -
Lehrstuhl II
Über den üblichen Vorlesungsstoff hinaus soll gezeigt werden,
Das Themenspektrum ist breit. Von der optimalen Bildung von Fahrgemeinschaften geht es bis zum probabilistischen Überprüfen von Beweisen, wobei nur ein minimaler Teil des Beweises gelesen werden darf. Riesige Primzahlen erweisen sich als grundlegend für den Datenschutz. Neues über neuronale Netze, Rechnernetze, Algorithmen für Parallelrechner und Algorithmen für geometrische Probleme wird ebenso präsentiert wie Werkzeuge zum Algorithmenentwurf und zum Entwurf großer Systeme. Auch das Geheimnis der APL-Funktionen wird gelüftet. Hat die Mathematik selbst im Software-Engineering etwas verloren und wie hilft die Informatik den Biologinnen und Biologen? Schließlich werden altbekannte Spielprobleme mit Informatikmethoden und Rechnerhilfe gelöst.
Die Vorträge dieses Kolloquiums werden nach Ende des Wintersemesters in einem Buch des Springer Verlags veröffentlicht.
Eine Übersicht der Vorträge ist bereits verfügbar, sie wird im Laufe der Zeit durch die Abstracts der Vortragenden erweitert. Ein Plakat mit allen Vorträgen gibt es auch als PostScript-File zum downloaden.