Algorithmics. Spirit of Computing

David Harel, Yishai Feldman0321117840, 9780321117847

This book presents the concepts, methods, and results that are fundamental to the science of computing. The book begins with the basic ideas of algorithms such as the structure and the methods of data manipulation, and then moves on to demonstrate how to design an accurate and efficient algorithm. Inherent limitations to algorithmic design are also discussed throughout the second part of the text. The third edition features an introduction to the object-oriented paradigm along with new approaches to computation. Anyone interested in being introduced to the theory of computer science.

---

Table of contents :
Cover……Page 1
Algorithmics: The Spirit of Computing……Page 2
Title……Page 4
Copyright……Page 5
Contents……Page 8
Preface……Page 12
Acknowledgments……Page 18
Part I Preliminaries……Page 20
1 Introduction and Historical Review……Page 22
2 Algorithms and Data……Page 38
3 Programming Languages and Paradigms……Page 68
Part II Methods and Analysis……Page 98
4 Algorithmic Methods……Page 100
5 The Correctness of Algorithms……Page 118
6 The Efficiency of Algorithms……Page 148
Part III Limitations and Robustness……Page 176
7 Inefficiency and Intractability……Page 178
8 Noncomputability and Undecidability……Page 210
9 Algorithmic Universality and Its Robustness……Page 238
Part IV Relaxing the Rules……Page 274
10 Parallelism, Concurrency, and Alternative Models……Page 276
11 Probabilistic Algorithms……Page 316
12 Cryptography and Reliable Interaction……Page 336
Part V The Bigger Picture……Page 354
13 Software Engineering……Page 356
14 Reactive Systems……Page 376
15 Algorithmics and Intelligence……Page 398
Postscript……Page 420
Selected Solutions……Page 422
Bibliographic Notes……Page 452
Index……Page 514