Subject Area: CS Basics (Logics, Discrete Mathematics)
in CIDEC Library.

### A LOGICAL APPROACH TO DISCRETE MATH

David **GRIES** , Cornell University, Ithaca, NY, USA ;

Fred B. **SCHNEIDER** , Cornell University, Ithaca, NY, USA
Series:
Monographs in Computer Science. Eds.: D. Gries; F.B. Schneider.

**Publisher : **
Springer-Verlag - New York

**Bibliographic : **

- Hardcover 930g (acid-free paper)
- ISBN: 3-387-94115-0
- © 1993, "Third corrected printing"--T.p. verso. (1995 printing)
- xvi, 497 p. : ill. 25 figs. ; 25 cm
- Dewey No.: 511 20

- Mathematics
- I00001 Computer Science, All Fields

**DESCRIPTION: **

This text attempts to change the way logic and discrete math are taught in computer science and math. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. **A Logical Approach to Discrete Math** presents a thorough, comprehensive treatment of the subject using a flexible, modular format. The book is organized so that selected chapters in the book can either be studied together or used as a reference. The material in the book is ideal for a freshman/sophomore level course in computer science or mathematics. In addition, the authors believe that the notion of proofs is important in most areas of study, and can be learned by any student, making it an effective alternative to calculus. The core of the book consists of textual substitution, equality and assignment, boolean expressions, propositional calculus, quantification and predicate calculus. The remaining chapters can be selected according to individual course outlines.
**CONTENTS: **

Includes bibliographical references (p. [473]-475) and index.

**BOOK CATEGORY: ** Textbook, introductory, discrete math

Changed 20/01/1997. Comments: monika@cs.ioc.ee