Konstruktion Guter Algorithmen

Dieses Buch ist ein Lehrbuch für schnelle, effiziente und korrekte Pro­ p;rammierung. Es werden Verfahren vorgestellt, die es ermöglichen, sprach- und maschinenunabhängig zu programmieren, und eine Me­ thode, mit der zweifelsfrei bewiesen werden kann, daß die so entwickel­ ten Algorithmen korrekt sind, d.h., genau das leisten, was sie leisten sollen. Dazu wird die Top-Down-Konstruktion und die Bottom-Up­ Verifikation dargestellt. Es wird auf die Übertragung in gängige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati­ sche Testmethoden werden ebenfalls kurz beschrieben. Einen großen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program­ mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Großer Wert wird darauf gelegt, daß das Buch gut lesbar und verständ­ lich ist und alle Verfahren und Algorithmen ausführlich erläutert wer­ den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabrück hält. Es ist aber nicht nur für Studenten geeignet, sondern auch für den Prak­ tiker. In den Abschnitten über Motivation und Sensibilisierung wird nachvollziehbar begründet, warum nicht nur Profis die beschriebene Me­ thodik verwenden sollten, sondern sogar Hobby-Programmierer. Pro­ grammieren basiert auf logischen Strukturen, die bei einem kleinsten Fehler die Ergebnisse unvorhersehbar machen.