Advertisement

Relations and Graphs

Discrete Mathematics for Computer Scientists

  • Gunther Schmidt
  • Thomas Ströhlein

Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS)

Table of contents

  1. Front Matter
    Pages i-ix
  2. Gunther Schmidt, Thomas Ströhlein
    Pages 1-4
  3. Gunther Schmidt, Thomas Ströhlein
    Pages 5-27
  4. Gunther Schmidt, Thomas Ströhlein
    Pages 28-49
  5. Gunther Schmidt, Thomas Ströhlein
    Pages 50-80
  6. Gunther Schmidt, Thomas Ströhlein
    Pages 81-104
  7. Gunther Schmidt, Thomas Ströhlein
    Pages 105-141
  8. Gunther Schmidt, Thomas Ströhlein
    Pages 142-171
  9. Gunther Schmidt, Thomas Ströhlein
    Pages 172-196
  10. Gunther Schmidt, Thomas Ströhlein
    Pages 197-228
  11. Gunther Schmidt, Thomas Ströhlein
    Pages 229-264
  12. Back Matter
    Pages 265-304

About this book

Introduction

Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to a diverse range of problem areas. Results are first motivated by practical examples, often visualized by both Boolean 0-1-matrices and graphs, and then derived algebraically.

Keywords

Programmiersprache algorithms computer computer science concurrency design discrete mathematics graph theory graphs language logic mathematics programming programming language semantics

Authors and affiliations

  • Gunther Schmidt
    • 1
  • Thomas Ströhlein
    • 2
  1. 1.Fakultät für InformatikUniversität der Bundeswehr MünchenNeubibergGermany
  2. 2.Fakultät für InformatikTechnische Universität MünchenMünchen 2Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-77968-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-77970-1
  • Online ISBN 978-3-642-77968-8
  • Series Print ISSN 1431-2654
  • Buy this book on publisher's site