Mathematik fur Informatiker
1 total work
Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ahnlich wie man es sonst nur fur die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch fur 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 anschliessend 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 Uberdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einfuhrung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriss der Fixpunkt- und Antimorphismen-Theorie.