Relations and Graphs : Discrete Mathematics for Computer Scientists PDF
by Gunther Schmidt, Thomas Strohlein
Part of the Monographs in Theoretical Computer Science. An EATCS Series series
Description
Relational methods can be found at various places incomputer science, notably in data base theory, relationalsemantics of concurrency, relationaltype theory, analysisof rewriting systems, and modern programming languagedesign.
In addition, they appear in algorithms analysis andin the bulk of discrete mathematics taught to computerscientists. This book is devoted to the background of these methods.
Itexplains how to use relational and graph-theoretic methodssystematically in computer science. A powerful formal framework of relational algebra isdeveloped with respect to applications to a diverse range ofproblem areas.
Results are first motivated by practicalexamples, often visualized by both Boolean 0-1-matrices andgraphs, and then derived algebraically.
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:06/12/2012
- Category:
- ISBN:9783642779688
Other Formats
- Paperback / softback from £95.55
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:06/12/2012
- Category:
- ISBN:9783642779688
