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

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

Full description

Bibliographic Details
Published in:Springer eBooks
Main Author: Doberkat, Ernst-Erich (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Subjects:
Computer Science.
Mathematical logic.
Category theory (Mathematics).
Homological algebra.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Category Theory, Homological Algebra.
Online Access:http://dx.doi.org/10.1007/978-3-319-22750-4
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-319-22750-4
Перейти в каталог НБ ТГУ

Similar Items