A Logical Approach to Discrete Math
Mar 2013 · Springer Science & Business Media
4.0star
2 reviewsreport
Ebook
516
Pages
reportRatings and reviews aren’t verified Learn More
About this ebook
This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.
Ratings and reviews
4.0
2 reviews
A Google user
- Flag inappropriate
June 19, 2017
The first chapter on Textual Substitution, Equality, and Assignment is absolutely brilliant. In fact, it's how I found this book in the first place. Gries writing is easy to parse and includes lots of examples. The book was relatively expensive, but in terms of value - well worth it. The book is typeset using LaTeX using a clean layout. It truly is a reflection of it's title - "A logical Approach to Discrete Math". Thank you David Gries for such a fresh take on this topic!
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
