Theoretische Informatik: eine algorithmenorientierte Einfhrung [Paperback]

Das Neue an dieser Einf?hrung in die Theoretische Informatik ist die konsequent algorithmenorientierte Sichtweise, d.h. eine Umsetzung in praktisch und theoretisch effiziente Algorithmen wird angestrebt. Auf diese Weise bietet das Buch eine Einf?hrung in die zentralen Gebiete der Theoretischen Informatik, wie sie in einer Einf?hrungsvorlesung an deutschen Universit?ten vorgesehen ist.
Die theoretische Informatik ist ?lter als die praktische, angewandte oder technische Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik und ihre Ergebnisse sind schwerer zug?nglich, da sie auf ein gr??eres und tieferes Fundament aufbauen. Stark ver?stelte Theorien ten? dieren dazu, sich als Selbstzweck aufzufassen und als l'art pour l'art betrieben zu werden. In der vorliegenden Einf?hrung in die theoretische Informatik begegnen wir dieser Gefahr, indem wir die Orientierung moderner Theorien an den Anwendun? gen in den Mittelpunkt stellen. Schon Novalis (1772-1801) hat darauf hingewiesen, dass die Theorie h?ufig den Anwendungen vorauseilt: Wenn die Theorie auf die Erfahrung warten sollte, so k?me sie nie zustande. Nicht immer sind die Anwendungen von Ergebnissen der theoretischen Informatik so direkt zu sehen wie die Anwendungen anderer Zweige der Informatik. Dies gilt insbesondere f?r negative Resultate. Dabei sind deren Konsequenzen klar. Wenn wir beweisen, dass es bestimmte f?r die Praxis w?nschenswerte Werkzeuge oder Algorithmen nicht geben kann, muss die unsinnige, weil hoffnungslose Arbeit an diesen Werkzeugen oder Algorithmen eingestellt und statt dessen die Suche nach bestm?glichen Auswegen begonnen werden. Andererseits sind positive Resultate nicht automatisch anwendungsorientiert. Exis? tenzaussagen oder Algorithmen mit exponentieller oder noch gr??erer Laufzeit sind h?ufig praktisch wertlos. Das Neue an der vorliegenden Einf?hrung in die theore? tische Informatik ist die konsequent algorithmenorielÓ+