A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)
Use the Amazon App to scan ISBNs and compare prices.
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
Customers who bought this item also bought
Customers who viewed this item also viewed
There was a problem filtering reviews right now. Please try again later.
The book has one of the best discussions of Boolean logic I've read. It is especially strong in discussing various "duals" that make it easy to derive theorems.
This book is for a reader who wants to learn mathematical logic, from scratch, and who wants to learn an approach to Discrete Mathematics that emphasizes logic.
For many people this will be a great second book on Discrete Mathematics or as a supplementary book. Because of the heavy emphasis on formal proof I'm not sure it would make a great book to start from.
I give it five stars since it is a five star book so far as its intentions are concerned.
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.
Top international reviews
This was a book I purchased for self-study after looking around and while it is not particularly popular and may not be ideal for some, I've enjoyed working through it and have found that the authors take a rather unique approach to the topics covered, but provide additional insight into why they choose to do so.
The author's notes for developing a course with the book, as well as solutions, can be found on Springer's website for verified course instructors (or those wishing to undertake self-learning).