Algorithmen sind der Kern der Informatik und der Mathematik, da jede Nutzung eines Computers erst durch Rechenverfahren überhaupt möglich wird. In diesem Buch, das in der englischen Originalausgabe schon lange ein Bestseller ist, gibt der Autor und sein Co-Autor umfassend und didaktisch geschickt Auskunft zu allen Fragen rund um das Thema Algorithmen, so z.B. zu Themen wie Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken, und auch das aktuelle Thema Quantenrechnen wird behandelt. Das Buch kann als Grundlage eines einsemestrigen Einführungskurses in die Informatik dienen, oder als allgemeine Informatik-Einführung in den Naturwissenschaften, der Mathematik oder im Ingenieurwesen.

Autorentext

David Harel ist der Dekan der Fakultät für Mathematik und Informatik des Weizmann-Instituts in Rehovot in Israel. Seine Forschungsinteressen liegen in der theoretischen Informatik, mit den Schwerpunkten Berechenbarkeit, Automatentheorie und Logik der Programmierung. Im Jahr 1992 erhielt er für herausragende Lehre den Karlstrom-Preis der Association for Computing Machinery und 1997 den Softwarepreis des israelischen Ministerpräsidenten. David Harel ist vielfacher Buchautor, und wurde einer breiteren Öffentlichkeit durch eine Reihe von Fernsehinterviews bekannt, die er mit herausragenden Mthematikern und Informatikern für einen israelischen Sender durchführte.

Inhalt

- Vorwort (zur ersten Auflage) - Danksagung - Inhaltsverzeichnis TEIL I: Vorbemerkungen - 1. Einführung und historischer Überblick oder worum es überhaupt geht - 2. Algorithmen und Daten oder wie man es überhaupt macht - 3. Programmiersprachen und Paradigmen oder wie man es mit dem Computer macht TEIL II: Methoden und Analyse - 4. Algorithmische Methoden oder wie man methodisch vorgeht - 5. Die Korrektheit von Algorithmen oder wie man es richtig macht - 6. Die Effizienz von Algorithmen oder wie man es kostengünstig macht TEIL III: Grenzen und Robustheit - 7. Ineffizienz und Unhandhabbarkeit oder es geht nicht immer kostengünstig - 8. Nichtberechenbarkeit und Unentscheidbarkeit oder manchmal geht es gar nicht - 9. Universalität und ihre Robustheit oder die einfachsten Maschinen, die es hinkriegen TEIL IV: Regeln lockern - 10. Parallelisierung, Konkurrenz und alternative Modelle oder vieles gleichzeitig machen - 11. Probabilistische Algorithmen oder es dem Zufall überlassen - 12. Kryptografie und sichere Interaktion oder wie man es geheim macht Teil V: Der größere Rahmen - 13. Softwaretechnik oder wie man es macht, wenn es umfangreicher wird - 14. Reaktionsfähige Systeme oder wie man es auf die Dauer richtig macht - 15. Algorithmik und Intelligenz oder können sie es besser als wir? - Nachwort - Bibliografische Anmerkungen - Index