Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures - Image 1

£47.73

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

Name: Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures
Brand: Springer
Price: 47.56 GBP
Availability: InStock

124 black & white illustrations, biograp

Biography

Price History & Forecast

Last 26 days • 26 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 26 days • 1 price levels

Days at Price

Price Analysis

Most common price: £48 (26 days, 100.0%)

Price range: £48 - £48

Price levels: 1 different prices over 26 days

Description

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 emphasis on Kleisli categories, monads and probabilistic systems. The text further shows various ways of defining topologies, building on selected topics like uniform spaces, Gödel’s Completeness Theorem and topological systems. Finally, measurability, general integration, Borel sets and measures on Polish spaces, as well as the coalgebraic side of Markov transition kernels along with applications to probabilistic interpretations of modal logics are presented. Special emphasis is given to the integration of (co-)algebraic and measure-theoretic structures, a fairly new and exciting field, which is demonstrated through the interpretation of game logics. Readers familiar with basic mathematical structures like groups, Boolean algebras and elementary calculus including mathematical induction will discover a wealth of useful research tools. Throughout the book, exercises offer additional information, and case studies give examples of how the techniques can be applied in diverse areas of theoretical computer science and logics. References to the relevant mathematical literature enable the reader to find the original works and classical treatises, while the bibliographic notes at the end of each chapter provide further insights and discussions of alternative approaches.

Product Specifications

Brand: Springer
Model: 124 black & white illustrations, biograp
Format: hardcover
ASIN: 3319227491
Category: Books > Subjects > Biography
Domain: Amazon UK
Release Date: 23 November 2015
Listed Since: 02 July 2015

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Topics in Measure Theory and Real Analysis: 2 (Atlantis Studies in Mathematics)

Mathematics in Programming

Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory: 3 (The Handbooks of Fuzzy Sets, 3)

Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory: 3 (The Handbooks of Fuzzy Sets, 3)

Mathematical Foundations of Computer Science

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)

Logic for Applications (Texts in Computer Science)

Separation in Point-Free Topology

Separation in Point-Free Topology

Topoi: The Categorial Analysis of Logic (Volume 98) (Studies in Logic and the Foundations of Mathematics, Volume 98)

Mathematics++: Selected Topics Beyond the Basic Courses (Student Mathematical Library)

Language Computability and Formal Language Theory

On Sets and Graphs: Perspectives on Logic and Combinatorics

Springer Well-Quasi Orders in Computation, Logic and Reasoning

A Tale Of Discrete Mathematics: A Journey Through Logic, Reasoning, Structures And Graph Theory

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Comprehensive Mathematics for Computer Scientists 2: Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus (Universitext)

Springer Computational Invariant Theory: 130 Mathematics Book

The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)