| ||||||||||||||||||
![]() Trade In this Item for up to £14.00
Get an extra £5 when you trade in books worth £10 or more until June 30, 2012. Trade in Discrete Structures, Logic,and Computability for an Amazon.co.uk gift card of up to £14.00, which you can then spend on millions of items across the site. Trade-in values may vary (terms apply). Find more products eligible for trade-in.
|
Product details
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organise and find favourite items. |
Hein's text addresses this issue by placing much greater emphasis on ideas from logic and methods of proof than most other books on discrete mathematics, such as the popular text by Rosen. In addition, Hein includes material relating important software concepts to abstract algebra, and he does this without slighting other common topics of discrete mathematics, such as sets, relations, functions, counting, automata, and computability. Software engineers who have learned from Hein's text will have practical tools that they can use to deal with the software correctness factor more effectively.
Besides all of these good qualities, the text is well organized, clearly written, and punctuated with deligtfully subtle humor. I plan to use it.
There are plenty of examples in the text. However, the exercises tend to be significantly more complex than the examples. The answers to many exercises are in the back of the book, which is a great help to students.
|