Zusammenfassung
Im folgenden geben wir eine Einführung in die Theorie, die mit der Konstruktion und Analyse von Algorithmen verbunden ist. Zunächst wiederholen wir in gestraffter und fortgeschrittener Form die wichtigsten Definitionen und Resultate aus dem einführenden Überblick über Konzepte der Algorithmen (Kap. 5). Insbesondere behandeln wir in Abschnitt 10.2 nochmals die Themen Spezifikation und Korrektheit anhand eines größeren Beispiels (Berechnung der Quadratwurzel). Wir arbeiten speziell Querbezüge zwischen Spezifikation und verschiedenen Beweismethoden heraus. Auf der programmiersprachlichen Ebene können Algorithmen durch die Methode von Floyd aus Kap. 5 und den Kalkül von Hoare in Kap. 17 als korrekt bewiesen werden. Wegen seiner Komplexität haben wir dem Hoare-Kalkül ein eigenes Kapitel gewidmet. Es ist aber durchaus sinnvoll, Kap. 17 im Zusammenhang mit Abschnitt 10.2 zu lesen.
As soon as an Analytical Engine exists, it will necessarily guide the future course of the science. Whenever any result is sought by its aid, the question will then arise — By what course of calculation can these results be arrived at by the machine in the shortest time?
Charles Babbage (1864)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Küchlin, W., Weber, A. (2003). Theorie der Algorithmenkonstruktion. In: Einführung in die Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21841-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-21841-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43608-9
Online ISBN: 978-3-662-21841-9
eBook Packages: Springer Book Archive