The best selling 'Algorithmics' presents the most important, concepts, methods and results that are fundamental to the science of computing. It starts by introducing the basic ideas of algorithms, including their structures and methods of data manipulation. It then goes on to demonstrate how to design accurate and efficient algorithms, and discusses their inherent limitations. As the author himself says in the preface to the book; 'This book attempts to present a readable account of some of the most important and basic topics of computer science, stressing the fundamental and robust nature of the science in a form that is virtually independent of the details of specific computers, languages and formalisms'.
The best selling 'Algorithmics' presents the most important, concepts, methods and results that are fundamental to the science of computing. It starts by introducing the basic ideas of algorithms, including their structures and methods of data manipulation. It then goes on to demonstrate how to design accurate and efficient algorithms, and discusses their inherent limitations. As the author himself says in the preface to the book; 'This book attempts to present a readable account of some of the most important and basic topics of computer science, stressing the fundamental and robust nature of the science in a form that is virtually independent of the details of specific computers, languages and formalisms'.
Zusammenfassung
David Harel has been at the Weizmann Institute of Science in Israel since 1980. He was Department Head from 1989-95, 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. / 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.
Inhaltsverzeichnis
Preface
Acknowledgments
PART I. PRELIMINARIES
1. Introduction And Historical Review
or, What's It All About?
2. Algorithms And Data
or, Getting It Done
3. Programming Languages and Paradigms
or, Getting It Done by Computer
PART II. METHODS AND ANALYSIS
4. Algorithmic Methods
or, Getting It Done Methodically
5. The Correctness of Algorithms
or, Getting It Done Right
6. The Efficiency of Algorithms
or, Getting It Done Cheaply
PART III. LIMITATIONS AND ROBUSTNESS
7. Inefficiency and Intractability
or, You Can't Always Get It Done Cheaply
8. Noncomputability and Undecidability
or, Sometimes You Can't Get It Done At All!
9. Algorithmic Universality and Its Robustness
or, The Simplest Machines That Get It Done
PART IV. RELAXING THE RULES
10. Parallelism, Concurrency and Alternative Models
or, Getting Lots Of Stuff Done at Once
11. Probabilistic Algorithms
or, Getting It Done by Tossing Coins
12. Cryptography and Reliable Interaction
or, Getting It Done in Secret
PART V. THE BIGGER PICTURE
13. Software Engineering
or, Getting It Done When It's Large
14. Reactive Systems
or, Getting It to Behave Properly Over Time
15. Algorithmics And Intelligence
or, Are They Better at It Than Us?
Postscript
Selected Solutions
Bibliographic Notes
Index