Special Topics in Mathematics for Computer Scientists
Ernst-Erich Doberkat
Gebundenes Buch

Special Topics in Mathematics for Computer Scientists

Sets, Categories, Topologies and Measures

Versandkostenfrei!
Versandfertig in 6-10 Tagen
46,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
23 °P sammeln!
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. Using motivations, rigorous definitions, proofs and various examples, the author systematically introduces the Axiom of Choice, explains Banach-Mazur games and the Axiom of Determinacy, discusses the basic constructions of sets and the interplay of coalgebras and Kripke models for modal logics with an...