Relationen und Graphen

  • Gunther Schmidt
  • Thomas Ströhlein

Part of the Mathematik für Informatiker book series (1211)

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-28
  4. Gunther Schmidt, Thomas Ströhlein
    Pages 29-51
  5. Gunther Schmidt, Thomas Ströhlein
    Pages 52-80
  6. Gunther Schmidt, Thomas Ströhlein
    Pages 81-104
  7. Gunther Schmidt, Thomas Ströhlein
    Pages 105-143
  8. Gunther Schmidt, Thomas Ströhlein
    Pages 144-175
  9. Gunther Schmidt, Thomas Ströhlein
    Pages 176-202
  10. Gunther Schmidt, Thomas Ströhlein
    Pages 203-235
  11. Gunther Schmidt, Thomas Ströhlein
    Pages 236-272
  12. Back Matter
    Pages 273-306

About this book

Introduction

Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ähnlich wie man es sonst nur für die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch für die Behandlung diskreter Probleme geeignete Techniken und Hilfsmittel sowie eine einheitliche Theorie bereit. Die einzelnen Kapitel beginnen jeweils mit anschaulichen und motivierenden Beispielen und behandeln anschließend den Stoff in mathematischer Strenge. Es folgen jeweils praktische Anwendungen. Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einführung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriß der Fixpunkt- und Antimorphismen-Theorie.

Keywords

Algorithmen Analysis Graphen Graphentheorie Hypergraph Weg

Authors and affiliations

  • Gunther Schmidt
    • 1
  • Thomas Ströhlein
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Deutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-83608-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50304-0
  • Online ISBN 978-3-642-83608-4
  • Series Print ISSN 1431-603X
  • About this book