Theoretische Informatik

Más información sobre el libro

Die Theoretische Informatik ist älter als die Praktische und Angewandte Informatik und hat sich als wissenschaftliche Disziplin weiter entwickelt. Ihre Ergebnisse sind oft schwer zugänglich, da sie auf einem tiefen Fundament basieren. Stark verästelte Theorien neigen dazu, als Selbstzweck betrachtet zu werden. In dieser Einführung wird der Orientierung moderner Theorien an den Anwendungen besondere Beachtung geschenkt. Novalis wies bereits darauf hin, dass die Theorie häufig den Anwendungen vorauseilt. Die Anwendungen der Theoretischen Informatik sind nicht immer so direkt erkennbar wie in anderen Bereichen. Insbesondere negative Resultate haben klare Konsequenzen: Wenn bewiesen wird, dass bestimmte wünschenswerte Werkzeuge oder Algorithmen nicht existieren, sollte die Suche nach praktikablen Alternativen beginnen. Positive Resultate hingegen sind nicht automatisch anwendungsorientiert; viele Algorithmen mit exponentieller Laufzeit sind praktisch wertlos. Diese Einführung verfolgt eine konsequent algorithmenorientierte Sichtweise und strebt bei positiven Ergebnissen stets die Umsetzung in praktisch und theoretisch effiziente Algorithmen an. Dies stellt einen neuen Ansatz in der Theoretischen Informatik dar und berücksichtigt den didaktischen Hintergrund.