 |
GetTextbooks.co.uk
Compare Prices & Save up to 90% |
|
|
|
| Login | Sign up | My Wish List |
 | | Logic for Applications (Texts in Computer Science) by Anil Nerode, Richard A. Shore ISBN-10: 9780387948935 ISBN-10: 0-387-94893-7 ISBN-13: 9780387948935 ISBN-13: 978-0-387-94893-5 Hardcover 1997-01-17 Springer Find Lowest Price |
Editorials | ||
Product Description This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics. From reviews of the first edition: "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." SIGACT News | ||
Reviews | ||
It is of great help for undergraduate computer science students I am currently an undergraduate computer science student, and as such, I say that this book was of great help to me in understanding both the basics and more advanced features of logic. I can't say anything about the very advanced parts of the book but if the writing style is the same as in the first 2 chapters, then it should be a great book for both undergraduate and graduate students. | ||
good logic introduction to computer science students This book is very carefully written to take care of its computer science and mathematics audience. The writing style is concise, yet unlike some other logic books, this one is far less dense and the content can easily be followed by an advanced undergraduate student (also, of course, by graduate students). The book contains a relatively balanced coverage on logic. The six sections include Propositional Logic, Predicate Logic, PROLOG, Modal Logic, Intuitionistic Logic and Elements of Set Theory. There is also a concise appendix on the history of logic development. I especially like the authors' careful treatment on the logics in PROLOG. Also, the authors have taken very good care in preparing the manuscript and my whole class can only find about ten typos after spending a whole semester using this book. Indeed, this book can easily be re-titled to be "What Every Computer Scientists Should Know About Logic". Highly recommended. | ||