A Logical Approach to Discrete Math

A Logical Approach to Discrete Math

4.11 - 1251 ratings - Source

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming