Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- Part One Iterative Algorithms and Loop Invariants
- Part Two Recursion
- Part Three Optimization Problems
- Part Four Appendix
- 22 Existential and Universal Quantifiers
- 23 Time Complexity
- 24 Logarithms and Exponentials
- 25 Asymptotic Growth
- 26 Adding-Made-Easy Approximations
- 27 Recurrence Relations
- 28 A Formal Proof of Correctness
- Part five Exercise Solutions
- Index
22 - Existential and Universal Quantifiers
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- Introduction
- Part One Iterative Algorithms and Loop Invariants
- Part Two Recursion
- Part Three Optimization Problems
- Part Four Appendix
- 22 Existential and Universal Quantifiers
- 23 Time Complexity
- 24 Logarithms and Exponentials
- 25 Asymptotic Growth
- 26 Adding-Made-Easy Approximations
- 27 Recurrence Relations
- 28 A Formal Proof of Correctness
- Part five Exercise Solutions
- Index
Summary
- Type
- Chapter
- Information
- How to Think About Algorithms , pp. 357 - 365Publisher: Cambridge University PressPrint publication year: 2008