Relationen und Graphen

Inhaltsubersicht: Mengen.- Homogene Relationen.- Transitivitat.- Heterogene Relationen.- Graphen: Assoziierte, Inzidenz und Adjazenz.- Erreichbarkeit.- Strukturfragen.- Kerne und Spiele.- Zuordnungen und Uberdeckungen.- Programme: Korrektheit und Verifikation.- Anhang.- Allgemeine Literaturhinweise.- Symbolverzeichnis.- Sachverzeichnis.