- Hardcover: 405 pages
- Publisher: Cambridge University Press (9 Dec 1999)
- Language English
- ISBN-10: 0521652006
- ISBN-13: 978-0521652001
- Product Dimensions: 24.4 x 17.3 x 2.3 cm
- Average Customer Review: 3.5 out of 5 stars See all reviews (2 customer reviews)
- Amazon Bestsellers Rank: 5,248,114 in Books (See Top 100 in Books)
- See Complete Table of Contents
| ||||||||||||||||||
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Plus, get an extra £5 Gift Certificate when you trade in books worth £10 or more before June 30, 2012. Visit the Books Trade-In Store for more details. |
Product details |
More About the Author
Product Description
Review
'This is an excellent textbook on logic and formal methods which is very suitable for computer science students… discusses the whole range from logic to applications: propositional and predicate logic, temporal logic and more generally model logic, program verification, model checking, and symbolic model checking using binary decision diagrams … As any good textbook, this book is not only to be recommended for students but for anyone who is interested in applications of logic in computer science.' Theory and Practice of Logic Programming
'… 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.' Marat M. Arslanov, Zentralblatt MATH
'… 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.' Marat M. Arslanov, Zentralblatt MATH
Product Description
Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic, and an introduction to the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology: further technicalities are introduced only when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics.
Inside This Book
(Learn More)
Browse and search another edition of this book.
Browse and search another edition of this book.
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product)
|
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.
