Contents -- Preface -- PART I The Science of Computing's Three Methods of Inquiry -- 1 What is the Science of Computing? -- 2 Abstraction: An Introduction to Design -- 3 Proof: An Introduction to Theory -- 4 Experimentation: An Introduction to the Scientific Method -- PART II Program Design -- 10 A Case Study in Design and Analysis: Efficient Sorting -- 9 Iteration and Efficiency -- 8 Creating Correct Iterative Algorithms -- 7 Analysis of Recursion -- 6 Designing with Recursion -- 5 Conditionals -- PART III Introduction to Data Structures -- 14 Case Studies in Design: Abstracting Indirection -- 13 Binary Trees -- 12 Queues and Stacks -- 11 Lists -- PART IV The Limits of Computer Science -- 17 The Halting Problem -- 16 Limits to Performance -- 15 Exponential Growth -- A Object- oriented Programming in Java -- B About the Web Site -- Index.