Cargando…
Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Edición: | 1st ed. 2015. |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.