Discrete Mathematics Using a Computer

Rating:
Summary: Pitiful excuse for a textbook
Review: This book purports to be a college text for discrete math. It is terrible. There aren't nearly enough examples in the book. Explanations are woefully brief, giving one sentence to the definition of a set intersection, for example. Many new concepts sneak up on you without ever being discussed. In one instance it started using a point by point proof method without ever introducing that method. The rules given in some proofs are not defined earlier, leaving the reader to wonder what the authors are doing in their proof. The use of Haskel is another downside. There is no way to check your proofs aside from the proof checker software included which will drive a person to complete insanity. The software is so terribly picky in its syntax, you take more time verifying your proof than actually coming up with it. When there are errors with your syntax, it doesn't give a meaningful message. This is more the fault of Haskel, however. Nevertheless, it is the fault of the authors to choose this terrible method for teaching. Garbage.