Contents Declare the things that are to come hereafter ISALAH 41:23 Preface xi Acknowledgments xvii Part I.Preliminaries 1 1.Introduction and Historical Review 3 or,What's It All About? 2.Algorithms and Data 19 or,Getting It Done 3.Programming Languages and Paradigms 49 or,Getting It Done by Computer Part Il.Methods and Analysis 79 4.Algorithmic Methods 81 or,Getting It Done Methodically 5.The Correctness of Algorithms 99 or,Getting It Done RightP1: GIG PE002-FM PE002-Harel PE002-Harel-FM-v1.cls March 19, 2004 19:35 Contents Declare the things that are to come hereafter ISAIAH 41: 23 Preface xi Acknowledgments xvii Part I. Preliminaries 1 ■ 1. Introduction and Historical Review 3 or, What’s It All About? ■ 2. Algorithms and Data 19 or, Getting It Done ■ 3. Programming Languages and Paradigms 49 or, Getting It Done by Computer Part II. Methods and Analysis 79 ■ 4. Algorithmic Methods 81 or, Getting It Done Methodically ■ 5. The Correctness of Algorithms 99 or, Getting It Done Right vii