Special Topics in Mathematics for Computer Scientists

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

“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)

• 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.