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

• Κύριος συγγραφέας: Doberkat, Ernst-Erich (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Θέματα: 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...

Πίνακας περιεχομένων:

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