David griess book is great at showing the connection between logic and discrete math this approach can be a little cumbersome if one wants to learn graphs trees integer algorithms etc and yet you do not want to deal with a complex logical framework but are willing to work with a more intuitive notion of proof. 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. A logical approach to discrete math springer verlag 1993 which attempts to change how logic and discrete math is taught our thesis is that logic is the glue that binds together arguments in all domains but this requires a logic that lends itself to formal application by people. 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 a logical approach to discrete math david gries fred b schneider no preview available 2010. A logical approach to discrete math ebook written by david gries fred b schneider read this book using google play books app on your pc android ios devices download for offline reading highlight bookmark or take notes while you read a logical approach to discrete math
How it works:
1. Register Trial Account.
2. Download The Books as you like ( Personal use )