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

Price loading...

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

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

Algebra

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. The theory is expressed in the language of category theory, which provides the right abstraction to make the similarity and duality between algebra and coalgebra explicit, and which the reader is introduced to in a hands-on manner. The book will be useful to mathematicians and (theoretical) computer scientists and will also be of interest to mathematical physicists, biologists and economists.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107177898
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Algebra
Domain: Amazon UK
Release Date: 27 October 2016
Listed Since: 16 May 2016

Barcode

No barcode data available

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

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors: Series Number 62 (Cambridge Tracts in Theoretical Computer Science, Series Number 62)

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

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Category Theory: No. 49 (Oxford Logic Guides)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Computation Engineering: Applied Automata Theory and Logic

Combinatorics of Nonnegative Matrices (Translations of Mathematical Monographs)

Automata Theory with Modern Applications

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

Finite-State Techniques: Automata, Transducers and Bimachines: 60 (Cambridge Tracts in Theoretical Computer Science, Series Number 60)

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

Computability: An Introduction to Recursive Function Theory

Connection Matrices in Combinatorial Topological Dynamics (SpringerBriefs in Mathematics)

Computational Complexity: A Conceptual Perspective

(Co)end Calculus: 468 (London Mathematical Society Lecture Note Series, Series Number 468)

Springer Computational Invariant Theory: 130 Mathematics Book

Automata Theory with Modern Applications

Ergodic Theory via Joinings (Mathematical Surveys and Monographs)

Language Computability and Formal Language Theory

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

Combinatorial Set Theory of C*-algebras (Springer Monographs in Mathematics)

An Invitation to C*-Algebras: 39 (Graduate Texts in Mathematics, 39)

Polynomial Functors: A Mathematical Theory of Interaction: 498 (London Mathematical Society Lecture Note Series, Series Number 498)

Cellular Automata: A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition (Encyclopedia of Complexity and Systems Science Series)