Authors:
- Provides a systematic and accessible treatment of useful topics for theoretical computer scientists
- Displays the mathematical techniques with carefully constructed and rigorous approaches
- Includes a variety of examples from diverse fields of mathematics and computer science
- Features case studies to provide methods for research problems
- Classroom tested exposition of the content
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (4 chapters)
-
Front Matter
-
Back Matter
About this book
Reviews
“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)
Authors and Affiliations
-
Lewackerstr. 6 b, Math ++ Software, Bochum, Germany
Ernst-Erich Doberkat
About the author
- 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
Bibliographic Information
Book Title: Special Topics in Mathematics for Computer Scientists
Book Subtitle: Sets, Categories, Topologies and Measures
Authors: Ernst-Erich Doberkat
DOI: https://doi.org/10.1007/978-3-319-22750-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Hardcover ISBN: 978-3-319-22749-8Published: 23 November 2015
Softcover ISBN: 978-3-319-36869-6Published: 23 August 2016
eBook ISBN: 978-3-319-22750-4Published: 16 November 2015
Edition Number: 1
Number of Pages: XX, 719
Topics: Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Category Theory, Homological Algebra