Logic in Computer Science: Modelling and Reasoning about Systems [Paperback]

Michael Huth (Author), Mark Ryan (Author)

Book Description

Publication Date: August 30, 2004 | ISBN-10: 052154310X | ISBN-13: 978-0521543101 | Edition: 2

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8

Editorial Reviews

Review

"Huth and Ryan explain a variety of fundamental topics in formal computer science logic and help readers understand how to follow and expand on them." H.J. Bender, Any Language Communications, Inc., CHOICE

"Readers searching for a good book on formal methods will find it here." Choice

Book Description

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

See all Editorial Reviews

Product Details

• Paperback: 440 pages
• Publisher: Cambridge University Press; 2 edition (August 30, 2004)
• Language: English
• ISBN-10: 052154310X
• ISBN-13: 978-0521543101
• Product Dimensions: 9.6 x 7 x 0.9 inches
• Shipping Weight: 2 pounds (View shipping rates and policies)
• Average Customer Review: 4.4 out of 5 stars  See all reviews (7 customer reviews)
• Amazon Best Sellers Rank: #357,323 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

8 of 8 people found the following review helpful:

5.0 out of 5 stars Not for undergrads, advanced textbook, December 28, 2003

By 

Steve Uhlig (Berlin, Germany) - See all my reviews
(REAL NAME)   

This review is from: Logic in Computer Science: Modelling and Reasoning about Systems (Paperback)

The coverage of this book is quite good for what concerns logic in computer science. However, using it as an introduction on logic for computer scientists is probably ambitious because the explanations are rather complicated for undergraduates. A first course on logic and another on AI would not hurt before getting into this one. Too many notions of computer science (syntax and semantics of programming languages, complexity) are needed to fully understand some topics, hence it is better that you already have a broad view of all aspects of computer science before reading this one. As an advanced course textbook to formal techniques in computer sciente on the other hand, this one would do the job.

9 of 10 people found the following review helpful:

4.0 out of 5 stars It's a decent book, October 4, 2000

By 

Jose Berlin (Seattle, WA USA) - See all my reviews

This review is from: Logic in Computer Science: Modelling and Reasoning about Systems (Paperback)

A lot of good material is covered and in a relatively tight fashion. The presentation of logic is well done, but when getting into the BDDs, the explanations get a little complicated and I personally had to read it over several times before I could make sure I understood what was going on. This book also does not have anything on symmetry, so if that's what you're looking for, there are better books out there. However, this book can hold its own and I recommend it to anyone interested in learning the basics of model checking provided they can take handle some of the heavy duty reading.

7 of 8 people found the following review helpful:

4.0 out of 5 stars Great intro to logic, September 16, 2000

By A Customer

This review is from: Logic in Computer Science: Modelling and Reasoning about Systems (Hardcover)

This book is a good introduction to logic. It is highly readable, not dry. It explains logic in the language of humans, not arcane mathematics, yet it somehow is able to remain rigorous. This makes logic make sense, rather than it being an abstract intellectual pursuit detached from life and other topics.

Half the book is on logic, half on model checking. I've only read the logic part so far, so I cannot compare the model checking treatment to that in Clarke et al.'s "Model Checking."

The logic treatment is not specific to computer science (or at least did not seem to be so, for someone not a student of mathematics and logic), so in my opinion the title is a misnomer; perhaps a better title would be "Logic for People, and Model Checking Too."