|
A Logical Approach to Discrete Math (Monographs in Computer Science) | 
 enlarge | Authors: David Gries, Fred. B. Schneider
Publisher: Springer
Category: Book
List Price: $74.95
Buy New: $40.90
You Save: $34.05 (45%)
New (16) Used (13) from $40.89
Avg. Customer Rating:  16 reviews
Sales Rank: 457758
Media: Hardcover
Edition: 1
Number Of Items: 1
Pages: 497
Shipping Weight (lbs): 1.9
Dimensions (in): 9.3 x 6.2 x 1.2
ISBN: 0387941150
Dewey Decimal Number: 510
EAN: 9780387941158
ASIN: 0387941150
Publication Date: October 22, 1993
Availability: Usually ships in 1-2 business days
Shipping: Expedited shipping available
Condition: never used
|
| Also Available In:
|
| Similar Items:
|
| Editorial Reviews:
Product Description
This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly. The book will be of value not only to beginning students, but also to hardened programmers with many years of experience - in Fortran, Cobol, C, C++, or whatever. If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed." -Peter G. Neumann
|
| Customer Reviews: Read 11 more reviews...
 A1 BOOK FOR LOGICAL STUDIES! November 10, 2006
0 out of 1 found this review helpful
I STUDY COMPUTING ENG. THIS BOOK HAS BEEN VERY USEFUL IN ALL MY LOGICAL AND ALGORITHMICAL SUBJECTS.
THIS BOOK CAN BE CONSIDERED THE EIGHT WORLD MARVEL!
A must have August 14, 2006
0 out of 1 found this review helpful
This book is simply the best compendium of the mathematical basis of computer science
Great book September 30, 2005
2 out of 2 found this review helpful
I took a math class with Rodrigo Cardozo, based on this book and it really taught me how to use propositional calculus while applying it to computer programming.
It has only a few examples on how to prove the theorems for each chapter, yet if you take the time to develop a proof for each theorem yourself -as I have done-, you will end up with a very solid knowledge of logic and a structured idea of how to approach math and use it to write perfect programs from the start.
It is a challenging task. I enjoyed it.
5 Stars, of course! January 16, 2005
2 out of 2 found this review helpful
We have used this book as a text for discrete math courses in our undergraduate Computing Engineering and Systems program (University of los Andes, Colombia). There are a lot of advantages using this approach instead of the classical one (e.g., people really learn to prove and learn to write correct proofs).
However, to grasp these ideas you have to be patient and open minded. When other reviewers give 1 star to the book it is clear for me that perhaps they were expecting something magical that did not occur. This presentation of logic and its applications to informatics provides an excellent way to learn and really use the knowledge in the praxis.
In Chapter 8 you go seamlessly from propositional to higher order logic. Sums and logical quantifications are, for example, treated in an uniform way. Maybe the type concept is not so fine explained, but one has to remember that this is an introductory book.
5 stars, of course.
 Not for independent study, questionable otherwise May 19, 2004
8 out of 9 found this review helpful
For the right kind of reader - namely, one with a competent instructor - this book probably does a lot of things well. It starts off by requiring you to get a firm grip on concepts that are used throughout the remainder of the book; you'll be doing proofs right off the bat. Unfortunately, I couldn't understand the content of the first four chapters until after a month of study.I was genuinely applying myself, but I just had a difficult time understanding this material. You may struggle unless you've previously had an introduction to proofs of this kind, like in an Abstract Math course. The proofs from high school Geometry class are nothing like those seen here! I can only recommend this book if a really good instructor comes with it. If you know you'll have a good professor who can explain things well, I think this book can take you into some tougher, more complex tasks relatively quickly. If not, you're going to have a devil of a time penetrating this thing: the author's words seem to trip over themselves all the time. It's somewhat of a difficult read, at least at the beginning; once I got my bearings, the later chapters seemed to get a little easier. If only these concepts could be taught better... but I can't see a better method than what's done here, and that method is initially horribly difficult. I do not recommend this book for independent study, but it may work when paired with a knowledgeable, helpful instructor. The fact that there are no answers in the back of the book limit the book's use.
|
|
|
Copyright 2008 - RailroadBookstore.com
| |
