Covers the usual topics in discrete math, however, the treatment is different in that formal logic is employed in each topic, rather than being viewed as another subject of study. Numerous worked out examples and over 900 exercises are included. Brief excursions into hardware design, program verificThe text is geared to both computer science and math majors, but its emphasis on understanding logic and proof provides for an effective alternative to calculus for non-majors as well.
|Title||:||A Logical Approach to Discrete Math|
|Author||:||David Gries, Fred B. Schneider|
|Publisher||:||Springer Science & Business Media - 1993-10-22|