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)
Produktdetaljer
Biographical note
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.