2006

Discrete Mathematics Using a Computer

Authors:

ISBN: 978-1-84628-241-6 (Print) 978-1-84628-598-1 (Online)

Table of contents (13 chapters)

  1. Programming and Reasoning with Equations

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-35

      Introduction to Haskell

    3. No Access

      Book Chapter

      Pages 37-46

      Equational Reasoning

    4. No Access

      Book Chapter

      Pages 47-60

      Recursion

    5. No Access

      Book Chapter

      Pages 61-81

      Introduction

    6. No Access

      Book Chapter

      Pages 83-106

      Trees

  2. Logic

    1. Front Matter

      Pages 107-107

    2. No Access

      Book Chapter

      Pages 109-162

      Propositional Logic

    3. No Access

      Book Chapter

      Pages 163-185

      Predicate Logic

  3. Set Theory

    1. Front Matter

      Pages 187-187

    2. No Access

      Book Chapter

      Pages 189-206

      Set Theory

    3. No Access

      Book Chapter

      Pages 207-222

      Inductively Defined Sets

    4. No Access

      Book Chapter

      Pages 223-265

      Relations

    5. No Access

      Book Chapter

      Pages 267-309

      Functions

  4. Applications

    1. Front Matter

      Pages 311-311

    2. No Access

      Book Chapter

      Pages 313-353

      The AVL Tree Miracle

    3. No Access

      Book Chapter

      Pages 355-375

      Discrete Mathematics in Circuit Design