- Jubilee offer: spend £10 or more on any product sold by Amazon.co.uk on or before June 6 and you can buy The Diamond Jubilee A Classical Celebration Album for just £2.50 Here's how (terms and conditions apply)
| ||||||||||||||||||
 Trade In this Item for up to £9.05
Get an extra £5 when you trade in books worth £10 or more until June 30, 2012. Trade in Logic in Computer Science: Modelling and Reasoning about Systems for an Amazon.co.uk gift card of up to £9.05, which you can then spend on millions of items across the site. Trade-in values may vary (terms apply). Find more products eligible for trade-in.
|
Special Offers and Product Promotions
Frequently Bought Together
Product details
|
More About the Author
Product Description
Review
'… an unusual, inspiring and remarkable book … one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH
'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.' Phinews
'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical …' Zentralblatt MATH
'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.' Phinews
'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical …' Zentralblatt MATH
Product Description
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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 to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. 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.
Inside This Book
(Learn More)
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
What Other Items Do Customers Buy After Viewing This Item?
Customer Reviews
Most Helpful Customer Reviews
3 of 4 people found the following review helpful
Format:Paperback
This was the text book for the Logic module of my Computer Science course. I found that the book is very well written, and has plenty of examples. I found that it was very easy to grasp the concepts explained in the book.
Each chapter is supplemented with exercises. Not all of the questions have answers available, but a fair number of them do. Full answers are only available to lecturers from the author, so you may be able to get your lecturer to ask for a copy, if you are a university student.
I would highly recommend this book to people interested in this particular subject. It would have been better to have more answers in the back, though.
Each chapter is supplemented with exercises. Not all of the questions have answers available, but a fair number of them do. Full answers are only available to lecturers from the author, so you may be able to get your lecturer to ask for a copy, if you are a university student.
I would highly recommend this book to people interested in this particular subject. It would have been better to have more answers in the back, though.
0 of 2 people found the following review helpful
Format:Paperback
The most important point is to be aware that this guide by Ryan & Huth is an introduction to logic in computer science FOR INGENEERS/COMPUTER SCIENTISTS, NOT for logicians.
In fact, the authors spend a lot of time on well-known basic notions of propositional and predicate logic, but actually they do the opposite with other arguments, like grammars and authomata theory, which are instead widely unknown between beginner graduate students of logic.
But consider now to ignore the unpleasant disposition of arguments: a general sensation of mess remains. In fact, concepts are explained as in a novel, with a lot of natural language, entailing a great difficulty in separating what is really important from what is only a corollary. It is almost impossible to skim on the text looking for a particular definition or theorem, becouse of this aspect.
I had a quite bad feeling with this book; for this reason I discourage its reading and studying.
In fact, the authors spend a lot of time on well-known basic notions of propositional and predicate logic, but actually they do the opposite with other arguments, like grammars and authomata theory, which are instead widely unknown between beginner graduate students of logic.
But consider now to ignore the unpleasant disposition of arguments: a general sensation of mess remains. In fact, concepts are explained as in a novel, with a lot of natural language, entailing a great difficulty in separating what is really important from what is only a corollary. It is almost impossible to skim on the text looking for a particular definition or theorem, becouse of this aspect.
I had a quite bad feeling with this book; for this reason I discourage its reading and studying.
Most Helpful Customer Reviews on Amazon.com (beta)
Amazon.com:
7 reviews
9 of 9 people found the following review helpful
Not for undergrads, advanced textbook
28 Dec 2003
Format: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
It's a decent book
4 Oct 2000
Format: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
Great intro to logic
16 Sep 2000
Format: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."
Were these reviews helpful?
Let us know
Listmania!
Look for similar items by category
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
|
