Provides an overview of computational theory grounded in mathematical theorems and proofs. The author aims to increase students' knowledge of conceptual tools used in computer engineering, as well as the aesthetic sense required to build elegant systems.
Read More
Provides an overview of computational theory grounded in mathematical theorems and proofs. The author aims to increase students' knowledge of conceptual tools used in computer engineering, as well as the aesthetic sense required to build elegant systems.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good Condition. Some minor marks most pages crisp and clean. Some shelf and corner wear, Binding is in good condition. Good study copy. Quantity Available: 1. Category: Computers & Internet; ISBN: 053494728X. ISBN/EAN: 9780534947286. Pictures of this item not already displayed here available upon request. Inventory No: 1560716376.
This is a very complete book about computation mainly for graduate students. As I have used it for an undergraduate course, some logical steps weren't clear to me. There is a "proof idea" before every proof and it is very good because it explains you the ideas behind. The problem is that many proofs themselves are left just as summary, because many important details of proofs are missing. I had to look something on Papadimitriou's book. Some exercises are quite hard and there is the risk to lose too much time on an exercise trying to solve it. The lack of some paragraph about quantum computing is the last defect of this book.