Harel, D: Algorithmik -

. .

Résumé :
Erst Algorithmen machen die Nutzung von Computern ?berhaupt m?glich. In diesem Buch - in der englischen Originalausgabe ein Bestseller - geben die Autoren umfassend Auskunft zu allen Fragen rund um das Thema Algorithmen: z. B. zur Berechenbarkeit, Korrektheit und Effizienz von Algorithmen, zu Programmiertechniken und auch zu aktuellen Fragen des Quantenrechnens. Das Buch kann als Grundlage eines einsemestrigen Einf?hrungskurses in die Informatik dienen oder als Informatik-Einf?hrung in den Naturwissenschaften, der Mathematik oder im Ingenieurwesen.

Biographie:
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.

Sommaire:
- 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

Aus den Rezensionen: ... Der Autor ist bekannt durch ein tiefgr?ndiges Werk zu den Gebieten Berechenbarkeit und Komplexit?tstheorie. 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 ausf?hrlichen L?sungsskizzen). Sehr hilfreich das annotierte, sachlich gegliederte Literaturverzeichnis ... (Klaus Barckow, in: ekz-Informationsdienst Einkaufszentrale f?r ?ffentliche Bibliotheken, 2006, Issue 51)