2012

Mathematics of Discrete Structures for Computer Science

Authors:

ISBN: 978-3-642-29839-4 (Print) 978-3-642-29840-0 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages I-XVI

  2. No Access

    Book Chapter

    Pages 1-8

    Why Mathematics?

  3. No Access

    Book Chapter

    Pages 9-56

    Propositional Logic

  4. No Access

    Book Chapter

    Pages 57-77

    Predicate Calculus

  5. No Access

    Book Chapter

    Pages 79-110

    Sets

  6. No Access

    Book Chapter

    Pages 111-140

    Relations

  7. No Access

    Book Chapter

    Pages 141-155

    Classifying Relations

  8. No Access

    Book Chapter

    Pages 157-174

    More Discrete Structures

  9. No Access

    Book Chapter

    Pages 175-210

    Defining New Structured Types

  10. No Access

    Book Chapter

    Pages 211-255

    Numbers

  11. No Access

    Book Chapter

    Pages 257-285

    Reasoning About Programs

  12. Back Matter

    Pages 287-293