This book has been taken out of print by W. H. Freeman. You are welcome to use it if you like. We believed in 1992 it was the way to introduce theory in Computer Science, and we believe that today.
— Al Aho and Jeff Ullman
PDF’s of the Book
- Preface
- Table of Contents
- Chapter 1 Computer Science: The Mechanization of Abstraction
- Chapter 2 Iteration, Induction, and Recursion
- Chapter 3 The Running Time of Programs
- Chapter 4 Combinatorics and Probability
- Chapter 5 The Tree Data Model
- Chapter 6 The List Data Model
- Chapter 7 The Set Data Model
- Chapter 8 The Relational Data Model
- Chapter 9 The Graph Data Model
- Chapter 10 Patterns, Automata, and Regular Expressions
- Chapter 11 Recursive Description of Patterns
- Chapter 12 Propositional Logic
- Chapter 13 Using Logic to Design Computer Components
- Chapter 14 Predicate Logic
Read in full here:
http://infolab.stanford.edu/~ullman/focs.html
This thread was posted by one of our members via one of our news source trackers.