Foundations of Computer Science

Aho and Ullman have created a C version of their groundbreaking text. As in that text, this book combines the theoretical foundations of computing with essential discrete mathematics. It follows the same organizations as its predecessor, with all examples and exercises in C.

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

About the Authors

Alfred Vaino Aho (born August 9, 1941) is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming.

Bio from Wikipedia, the free encyclopedia.

Jeffrey David “Jeff” Ullman (born November 22, 1942) is a computer scientist and professor at Stanford University. His textbooks on compilers (various editions are popularly known as the Dragon Book), theory of computation (also known as the Cinderella book), data structures, and databases are regarded as standards in their fields.

Bio from Wikipedia, the free encyclopedia.