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.
Logic in Computer Science
and over 1.5 million other books are available for Amazon Kindle . Learn more
| ||||||||||||||||||||||||
 Trade In this Item for up to £1.80
Trade in Logic in Computer Science: Modelling and Reasoning about Systems for an Amazon.co.uk gift card of up to £1.80, which you can then spend on millions of items across the site. Trade-in values may vary (terms apply). Special Offer until June 30, 2013: Receive an additional £5 promotional Gift Card, when you trade-in at least £10 worth of books. Learn more
|
Book Description
Frequently Bought Together
Product details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, and more.
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
Book Description
This second edition 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 and exercises. The coverage of model-checking has been substantially updated.
Inside This Book
(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 3 people found the following review helpful
By Uskebasi
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:
4.4 out of 5 stars
7 reviews
12 of 12 people found the following review helpful
5.0 out of 5 stars
Not for undergrads, advanced textbook
28 Dec 2003
By Steve Uhlig
- Published on Amazon.com
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
4.0 out of 5 stars
It's a decent book
4 Oct 2000
By Jose Berlin
- Published on Amazon.com
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 9 people found the following review helpful
4.0 out of 5 stars
Great intro to logic
16 Sep 2000
By A Customer
- Published on Amazon.com
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."
›
Go to Amazon.com to see all 7 reviews
4.4 out of 5 stars
Were these reviews helpful?
Let us know
Customer Discussions
|
This product's forum
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
Look for similar items by category
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.
|
