Algorithmik

Aus den Rezensionen: " Der Autor ist bekannt durch ein tiefgrndiges Werk zu den Gebieten Berechenbarkeit und Komplexittstheorie. Eine gut lesbare, exakte Darstellung der Algorithmik Das vorliegende Buch wendet sich nicht nur an Informatiker, sondern spricht auch den interessierten Laien an Gute bungen (zu etwa einem Drittel mit ausfhrlichen Lsungsskizzen). Sehr hilfreich das annotierte, sachlich gegliederte Literaturverzeichnis " (Klaus Barckow, in: ekz-Informationsdienst Einkaufszentrale fr ffentliche Bibliotheken, 2006, Issue 51)

David Harel ist der Dekan der Fakultt fr 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 fr herausragende Lehre den Karlstrom-Preis der Association for Computing Machinery und 1997 den Softwarepreis des israelischen Ministerprsidenten. David Harel ist vielfacher Buchautor, und wurde einer breiteren ffentlichkeit durch eine Reihe von Fernsehinterviews bekannt, die er mit herausragenden Mthematikern und Informatikern fr einen israelischen Sender durchfhrte.

Vorwort.- Danksagung.- Inhaltsverzeichnis.- Teil I: Vorbemerkungen.- 1. Einfhrung 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 kostengnstig macht. Teil III: Grenzen und Robustheit.- 7. Ineffizienz und Unhandhabbarkeit oder es geht nicht immer kostengnstig.- 8. Nichtberechenbarkeit und Unentscheidbarkeit oder manchmal geht es gar nicht.- 9. Universalitt 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 grere Rahmen.- 13. Softwaretechnik oder wie man es macht, wenn es umfangreicher wird.- 14. Reaktionsfhige Systeme oder wie man es auf die Dauer richtig macht.- 15. Algorithmik und Intelligenz oder knnen sie es besser als wir?- Nachwort.- Bibliografische Anmerkungen. Index.