Thomas Strohlein – författare
Visar alla böcker från författaren Thomas Strohlein. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
E-bok
PDF, Engelska, 20121 367 kr
Läs direkt efter köp
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.
E-bok
PDF, Tyska, 2013471 kr
Läs direkt efter köp
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.