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.
| Author: Gunther Schmidt |
| Publisher: Springer |
| Publication Date: Dec 28, 1988 |
| Number of Pages: 306 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540503048 |
| ISBN-13: 9783540503040 |
