Special Topics in Mathematics for Computer Scientists
Springer International Publishing (Verlag)
978-3-319-36869-6 (ISBN)
Ernst-Erich Doberkat: - doctorate degree in mathematics from the University of Paderborn - habilitation in computer science from the University of Hagen - associate professor of mathematics and computer science at Clarkson University in Potsdam, NY - full professor of software technology and adjunct professor of mathematics at various universities in Germany between 1985 and 2014 - lectures given at universities in Germany, Italy, China and the US
Preface.- 1 The Axiom of Choice and Some of Its Equivalents.- 2 Categories.- 3 Topological Spaces.- 4 Measures for Probabilistic Systems.- List of Examples.- References.- Index.
"The book is absolutely packed with ideas and theorems, classical results, well-knowns as well as obscure pieces of mathematics, familiar and less familiar axioms, and generally many many facts, ranging from trivial to deep and pivotal. ... book is probably the most original I've seen in terms of its contents. ... ideas and presentation is clearly derived and dictated by the author's renowned expertise in the area, producing a very unique point of view on an active area of research." (Ittay Weiss, MAA Reviews, maa.org, April, 2017)
"This volume is targeted at giving sound mathematical foundations for advanced topics in theoretical computer science ... . The author always gives accurate definitions, complete proofs and lots of different examples clarifying and motivating the concepts. Each chapter has lots of exercises sometimes pointing to further developments. ... there is a comprehensive list of references to examples and counterexamples for various propositions and assertions given in the text. The style is always motivating and sometimes humorous." (Dieter Riebesehl, zbMATH 1334.68002, 2016)
Erscheinungsdatum | 19.08.2017 |
---|---|
Zusatzinfo | XX, 719 p. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 1116 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik ► Algebra | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | coalgebras over general and probabilistic spaces • examples for the use of the Axiom of Choice • measurable spaces and Markov transition systems • proof techniques in games and measure theory • proof techniques in topology and categories • topologies for use in computer science |
ISBN-10 | 3-319-36869-9 / 3319368699 |
ISBN-13 | 978-3-319-36869-6 / 9783319368696 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich