A Logical Approach to Discrete Math

by David Gries, Fred B. Schneider

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.

Genres: Mathematics, Computer Science

532 pages, Hardcover

First published October 22, 1993

Reviews

[Joey]

Gries taught his CS class at Cornell from his book, so I spent many hours sweating away over exercises from it. Rereading it seems like a good idea, if I can dig it up.

Some of the notation is not typical, which can throw me off when I (rarely) encounter logic problems today.

The back cover morph between Gries and Schneider is classic. See it here: http://tinyurl.com/ydljyek

[V]

Read until chapter 9 for class. I hope I get to come back to it for another class to read all the other chapters.