Advertisement

A Logical Approach to Discrete Math

  • David Gries
  • Fred B. Schneider

Part of the Texts and Monographs in Computer Science book series (MCS)

Table of contents

  1. Front Matter
    Pages N2-xvi
  2. David Gries, Fred B. Schneider
    Pages 1-6
  3. David Gries, Fred B. Schneider
    Pages 7-23
  4. David Gries, Fred B. Schneider
    Pages 25-40
  5. David Gries, Fred B. Schneider
    Pages 41-68
  6. David Gries, Fred B. Schneider
    Pages 69-81
  7. David Gries, Fred B. Schneider
    Pages 83-108
  8. David Gries, Fred B. Schneider
    Pages 109-123
  9. David Gries, Fred B. Schneider
    Pages 125-137
  10. David Gries, Fred B. Schneider
    Pages 139-156
  11. David Gries, Fred B. Schneider
    Pages 157-177
  12. David Gries, Fred B. Schneider
    Pages 179-194
  13. David Gries, Fred B. Schneider
    Pages 195-215
  14. David Gries, Fred B. Schneider
    Pages 217-250
  15. David Gries, Fred B. Schneider
    Pages 251-264
  16. David Gries, Fred B. Schneider
    Pages 265-302
  17. David Gries, Fred B. Schneider
    Pages 303-336
  18. David Gries, Fred B. Schneider
    Pages 337-362
  19. David Gries, Fred B. Schneider
    Pages 363-385
  20. David Gries, Fred B. Schneider
    Pages 387-421
  21. David Gries, Fred B. Schneider
    Pages 423-460
  22. David Gries, Fred B. Schneider
    Pages 461-472
  23. Back Matter
    Pages 473-513

About this book

Introduction

This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo­ sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math­ ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con­ tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.

Keywords

Fortran algebra calculus computer computer science discrete math formal logic logic programming

Authors and affiliations

  • David Gries
    • 1
  • Fred B. Schneider
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4757-3837-7
  • Copyright Information Springer-Verlag New York 1993
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-2835-1
  • Online ISBN 978-1-4757-3837-7
  • Series Print ISSN 0172-603X
  • Buy this book on publisher's site