Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 1986

Introduction to Discrete Mathematics for Software Engineering

Authors:

  1. Tim Denvir

    1. Praxis Systems plc, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

Sections

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (12 chapters)

  1. Front Matter

    Pages i-ix
    PDF

  2. Introduction

    1. Introduction

      • Tim Denvir
      Pages 1-11

  3. Foundations

    1. Front Matter

      Pages 13-13
      PDF

    2. Sets

      • Tim Denvir
      Pages 15-27

    3. Logic

      • Tim Denvir
      Pages 28-54

    4. Sets and their Operations

      • Tim Denvir
      Pages 55-91

  4. Data Type Construction

    1. Front Matter

      Pages 93-93
      PDF

    2. Tuples, Products and Sums

      • Tim Denvir
      Pages 95-112

    3. Mappings and Functions

      • Tim Denvir
      Pages 113-146

    4. Relations

      • Tim Denvir
      Pages 147-156

  5. Algebraic Concepts

    1. Front Matter

      Pages 157-157
      PDF

    2. Algebras

      • Tim Denvir
      Pages 159-180

    3. Homomorphisms

      • Tim Denvir
      Pages 181-213

    4. Functions and their Specifications

      • Tim Denvir
      Pages 214-227

  6. Specification and Correctness of Programs

    1. Front Matter

      Pages 229-29
      PDF

    2. Relations and Lattices

      • Tim Denvir
      Pages 231-251

  7. Back Matter

    Pages 281-309
    PDF
Back to top

Keywords

Back to top

Authors and Affiliations

  • Praxis Systems plc, UK

    Tim Denvir

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Search

Navigation