Konstruktion guter Algorithmen

Dieses Buch ist ein Lehrbuch fur schnelle, effiziente und korrekte Pro- p;rammierung. Es werden Verfahren vorgestellt, die es ermoeglichen, sprach- und maschinenunabhangig zu programmieren, und eine Me- thode, mit der zweifelsfrei bewiesen werden kann, dass 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 UEbertragung in gangige und in moderne funktionale und objekt-orientierte Programmiersprachen eingegangen. Systemati- sche Testmethoden werden ebenfalls kurz beschrieben. Einen grossen Raum nimmt die Besprechung prinzipieller Programmiermethoden ein wie Rekursion, Divide and Conquer, Greedy, Dynamisches Program- mieren usw. Eine Vielzahl von Beispielalgorithmen werden vorgestellt. Grosser Wert wird darauf gelegt, dass das Buch gut lesbar und verstand- lich ist und alle Verfahren und Algorithmen ausfuhrlich erlautert wer- den. Es ist entstanden aus Vorlesungen, die der Autor seit 1988 an der Fachhochschule Osnabruck halt. Es ist aber nicht nur fur Studenten geeignet, sondern auch fur den Prak- tiker. In den Abschnitten uber Motivation und Sensibilisierung wird nachvollziehbar begrundet, 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.