Verwandte Artikel zu Relationen und Graphen (Mathematik für Informatiker)

Relationen und Graphen (Mathematik für Informatiker) - Softcover

Schmidt, Gunther; Ströhlein, Thomas

 
9783540503040: Relationen und Graphen (Mathematik für Informatiker)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Gunther Schmidt begleitete die entstehende Informatik in München seit 1962. Er vertrat vielfach Vorlesungen, wenn deren frühe Protagonisten Robert Sauer, F. L. Bauer und Klaus Samelson sich Numerik, Informatik und organisatorischem zu widmen hatten; er wickelte nebenher jahrelang die vielen anstehenden Personalmaßnahmen der Aufbauphase ab. Über größere eigene graphen- und relationentheoretische Projekte wurde er daneben selbst zum mehrfachen Buchautor und Herausgeber.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.