Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /

• Main Author: Doberkat, Ernst-Erich (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Subjects: Computer science.; Mathematical logic.; Category theory (Mathematics).; Homological algebra.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Category Theory, Homological Algebra.

This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Us...

Table of Contents:

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