Algorithmik - Feldman, Yishai

. .

Résumé :
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.

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:
David Harel has been at the Weizmann Institute of Science in Israel since 1980. He was Department Head from 1989 to 1995, and was Dean of the Faculty of Mathematics and Computer Science between 1998 and 2004. He was also co-founder of I-Logix, Inc. He received his PhD from MIT in 1978, and has spent time at IBM Yorktown Heights, and sabbaticals at Carnegie-Mellon University, Cornell University, and the University of Edinburgh. In the past he worked mainly in theoretical computer science (logic, computability, automata, database theory), and he now works mainly on software and systems engineering and on modeling biological systems. He is the inventor of statecharts and co-inventor of live sequence charts, and co-designed Statemate, Rhapsody, the Play-Engine and PlayGo. Among his awards are the ACM Karlstrom Outstanding Educator Award (1992), the Israel Prize (2004), the ACM Software System Award (2007), the Emet Prize (2010), and three honorary degrees. He is a Fellow of the ACM, the IEEE and the AAAS, and a member of the Academia Europaea and the Israel Academy of Sciences. ? Yishai Feldman received his PhD from the Weizmann Institute of Science in 1986.? He was a faculty member at Tel Aviv University and the Interdisciplinary Center in Herzliya. He is now at the IBM Research lab in Haifa, Israel, where he leads research on tools for program understanding and transformation....

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)