Special Topics in Mathematics for Computer Scientists

Sets, Categories, Topologies and Measures

Auteurs

• Ernst-Erich Doberkat

Paramètres

• Pages: 740 pages
• Temps de lecture: 26 heures

• Informatique, programmation
• Mathématiques
• Technologie / Ingénierie

En savoir plus sur le livre

The textbook provides a comprehensive exploration of set theory, category theory, topology, and measure theory, crucial for advanced theoretical computer science. It introduces key concepts like the Axiom of Choice, Banach-Mazur games, and the interplay between coalgebras and Kripke models. Emphasizing the integration of (co-)algebraic and measure-theoretic structures, it includes topics such as Gödel's Completeness Theorem and Borel measures. Exercises and case studies enhance understanding, while bibliographic notes guide further research into foundational mathematical literature.

Achat du livre

• Année de publication: 2016
• Reliure: (souple)