You are here: Home / Shop / Product Detail Page |

## Texts and Monographs in Computer Science: A Logical Approach to Discrete Math (Hardback)"Logic is the glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics." — From the back cover ## $52.95 |

### Need More Info?

Please contact us if you've got questions about this product.## Condition

**GOOD:** The book is in good condition, showing some signs of use and wear. There is no writing on the pages, which are printed on acid-free paper.

## Description

From the back cover: “The usual topics in discrete math are covered:

- propositional and predicate calculus
- set theory
- induction
- functions and relations
- theories of sequences and integers
- combinatorics
- solution of recurrence relations
- modern algebra
- graph theory

“But the treatment is far from usual. Formal logic is employed throughout, rather than being viewed simply as another subject of study.

“The text is geared to both computer science and math majors, but its emphais on understanding logic and proof provides for an effective alternative to calculus for non-majors as well.

“There are numerous worked-out examples and over 900 exercises. Brief excursions into hardware design, program verification, and database systems illustrate application of the theory. Over 30 historical notes are sprinkled throughout, giving a taste for our culture as well as showing how the field has been shaped by personalities and the forces of history.”

**BRIEF CONTENTS**

- Preface
- 0. Using Mathematics
- 1. Textual Substitution, Equality, and Assignment
- 2. Boolean Expressions
- 3. Propositional Calculus
- 4. Relaxing the Proof Style
- 5. Applications of Propositional Calculus
- 6. Hilbert-style Proofs
- 7. Formal Logic
- 8. Quantification
- 9. Predicate Calculus
- 10. Predicates and Programming
- 11. A Theory of Sets
- 12. Mathematical Induction
- 13. A Theory of Sequences
- 14. Relations and Functions
- 15. A Theory of Integers
- 16. Combinatorial Analysis
- 17. Recurrence Relations
- 18. Modern Algebra
- 19. A Theory of Graphs
- 20. Infinite Sets
- References
- Index
- Theorems of the propositional and predicate calculi

## Details

- SKU:
- 1966
- Subject:
- Mathematics, Computer Science
- Author:
- Gries, David and Fred B. Schneider
- Publisher:
- Springer-Verlag
- Publish Date:
- 1994 (First Printing, First Edition)
- Format:
- Hardback
- Weight (pounds):
- 2.04
- Dimensions (W”xL”xH”):
- 6.3″x9.5″x1.3″
- ISBN-13:
- 9780387941158
- ISBN-10:
- 0387941150
- Grade Level:
- College
- Series:
- Texts and Monographs in Computer Science from Springer-Verlag

## Related Products

### Products related to "Texts and Monographs in Computer Science: A Logical Approach to Discrete Math (Hardback)"

- Views:

#### Dolciani Mathematical Expositions No. 21: Logic as Algebra (Softcover)

$19.79

"This book is an introduction to modern logic, but it is quite different from other introductory books on the subject." — From the back cover

#### Encyclopedia of Mathematics and Its Applications 20: Finite Fields (Hardback)

$123.50

"In this book, which is the first one devoted entirely to finite fields, we have aimed at presenting both the classical and the applications-oriented aspect of the subject. Thus, in addition to what has to be considered the essential core of the theory, the reader will find results and techniques that are of importance mainly because of their use in applications." — From the Authors in the Preface

#### Encyclopedia of Mathematics and Its Applications 20: Finite Fields (Softcover)

$73.95

"In this book, which is the first one devoted entirely to finite fields, we have aimed at presenting both the classical and the applications-oriented aspect of the subject. Thus, in addition to what has to be considered the essential core of the theory, the reader will find results and techniques that are of importance mainly because of their use in applications." — From the Authors in the Preface

#### Handbook of Mathematics and Computational Science (Hardback)

$39.50

"The Harris and Stocker Handbook of Mathematics and Computation Science is a complete desk-top reference for working scientists, engineers, and students. It serves as a veritable math toolbox for rapid access to a wealth of mathematics information for everyday use in problem solving, homework, examinations, etc." — From the back cover

#### Catalan Numbers with Applications (Hardback)

$21.25

"Catalan numbers crop up in chess boards, computer programs, and even train tracks. This comprehensive text presents a clear introduction to one of the truly fascinating topics in mathematics." — From the back cover

#### Quaternions and Rotation Sequences: A Primer with Applications to Orbits, Aerospace, and Virtual Reality (Hardback)

$71.59

"Ever since the Irish mathematician William Rowan Hamilton introduced quaternions in the nineteenth century—a feat he celebrated by carving the founding equations into a stone bridge—mathematicians and engineers have been fascinated by these mathematical objects." — From the back cover

#### Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry (Hardback)

$49.95

"Projective geometry is one of the most fundamental and at the same time most beautiful branches of geometry. It can be considered the common foundation of many other geometric disciplines like Euclidean geometry, hyperbolic and elliptic geometry or even relativistic space-time geometry. This book offers a comprehensive introduction to this fascinating field and its applications." — From the back cover

#### Encyclopedia of Mathematics and Its Applications 94: Mathematical Constants (Hardback)

$47.39

"The pages of

*Mathematical Constants*abound in thousands of tales about numbers. This book is an amazing piece of erudition destined to fascinate the novice, puzzle the exerpt, and trigger the imagination of all." — the late Philippe Flajolet, renowned computer scientist#### Lecture Notes in Mathematics #1915: Laplacian Eigenvectors of Graphs: Perron-Frobenius and Faber-Krahn Type Theorems (Softcover)

$31.99

"The volume investigates the structure of eigenvectors and looks at the number of their sign graphs ('nodal domains'), Perron components, graphs with extremal properties with respect to eigenvectors. The Rayleigh quotient and rearrangement of graphs form the main methodology." — From the back cover

#### The Lambda Calculus: Its Syntax and Semantics, Revised Edition (Softcover)

$24.99

"Around 1930 the type free lambda calculus was introduced as a foundation for logic and mathematics. Due to the appearance of paradoxes, this aim was not fulfilled, however. Nevertheless a consistent part of the theory turned out to be quite successful as a theory of computations. It gave an imporatnt momentum to early recusion theory and more recently to computer science." — From the back cover

#### Ant Colony Optimization (Hardback)

$23.95

"The complex social behaviors of ants have been much studied by science, and computer scientists are now finding that these behavior patterns can provide models for solving difficult combinatorial optimization problems." — From the back cover

#### Geometric Problems on MAXIMA and MINIMA (Softcover)

$12.50

"Written by a team of established mathematicians and professors, this work draws on the authors' experience in the classroom and as Olympiad coaches." — From the back cover

#### Computer Graphics and Geometric Modeling: Mathematics (Hardback)

$12.49

"In addition to its use as a companion volume to computer graphics or geometric modeling courses, this volume would also make a good mathematics reference book, in particular for practitioners in the field of geometric modeling. Furthermore, because of its broad coverage and emphasis on explanation it could even be used as text for introductory mathematics courses on some of the covered topics, such as topology (general, combinatorial, algebraic, and differential) and geometry (differential and algebraic)." — From the back cover

#### The Volume Library (2-Volume Hardback Set)

$8.99

"

*The Volume Library*, which is revised and updated annually, was designed for interested, well-informed people—students and adults who need an authoritative reference book for their home book-shelves, and parents who want to keep abreast of the subjects their children are studying in school."—Preface#### Introduction to Logic and the Methodology of Deductive Sciences (Softcover)

$3.75

This book is a textbook for elementary college courses in logic and the methodology of deductive science. It is from a revised second edition of a classical work that was first published in Polish in 1936.

#### Tensor Analysis on Manifolds (Softcover)

$3.65

"Despite its success as a mathematical tool in the general theory of relativity and its adaptability to a wide range of mathematical and physical problems, tensor analysis has always had a rather restricted level of use, with an emphasis on notation and the manipulation of indices. This book is an attempt to broaden this point of view at the stage where the student first encounters the subject." — From the back cover

#### Term Rewriting and All That (Hardback)

$92.89

"This is the first English language textbook offering a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, and Gröbner bases." — From the back cover

#### Discrete Mathematics and Its Applications: Handbook of Computational Group Theory (Hardback)

$79.99

"The origins of computational group theory (CGT) date back to the late 19th and early 20th centuries. Since then, the field has flourished, particularly during the past 30 to 40 years, and today it remains a lively and active branch of mathematics." — From the back cover

#### Numerical Solution of Stochastic Differential Equations (Hardback)

$71.49

"The book provides an introduction to stochastic calculus and stochastic differential equations, in both theory and applications, emphasising the numerical methods needed to solve such equations." — From the back cover

#### Integer Programming (Hardback)

$69.95

"

*Integer Programming*is an ideal textbook for courses in integer/mathematical programming—whether in operations research, mathematics, engineering, or computer science departments. It is also a valuable reference for industrial users of integer programming and researchers who would like to keep up with advances in the field." — From the back cover