Models of Computation: Exploring the Power of Computing

Rating:
Summary: Too many errors and too dense
Review: Here is a book that has it all: a complete summary of theoretical computer science; well organized, detailed proofs; and quite understandable for the novice. This book should become the standard in its field.

Rating:
Summary: The Bible of Theoretical Computer Science
Review: Here is a book that has it all: a complete summary of theoretical computer science; well organized, detailed proofs; and quite understandable for the novice. This book should become the standard in its field.

Rating:
Summary: Too many errors and too dense
Review: I get unceasing complaints about this text. The explanations are too shallow, the topics are too dense, and the author presents wonderful proofs with no explanation of what it is he is really trying to prove, or why the proof is important. To make matters worse, there are material errors in the text that impact the dicussion he presents. These errors make it nearly impossible to understand the underlying points he wants to make, and unfortunately there are many errors (for example, his whole discussion of CNF in Chapter 2. There are many others).
I think that when the author corrects these errors, and rewrites uncomprenhensible parts, this could be a good text. For now it is average at best, and I do not think it is ready to be used for classes, at least not at an undergraduate level.