Special Topics in Mathematics for Computer Scientists

Sets, Categories, Topologies and Measures

Autori

• Ernst-Erich Doberkat

Parametri

Pagine

740pagine

Tempo di lettura

26ore

• Computer, IT, programmazione
• Matematica
• Tecnologia e Ingegneria

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 2016

(In brossura)