Algorithmik Die Kunst des Rechnens

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.

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.