{"product_id":"introduction-to-coalgebra-towards-mathematics-of-states-and-observation-59-cambridge-tracts-in-theoretical-computer-science-series-number-59-9781107177895","title":"Introduction to Coalgebra Towards Mathematics of States and Observation 59 Cambridge Tracts in Theoretical Computer Science Series Number 59","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eThis is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTrade Review\u003c\/b\u003e\u003cbr\u003e'The book is very carefully written, its many examples are discussed usually in great detail, expressing patiently the salient features to be exhibited. This applies to the usually fairly detailed proofs as well. Another treasure trove is the collection of most instructive exercises, of which there are plenty … This admirable book sets the standard for the work on set-based coalgebras for many years to come. It can be used for reference, and it is equally usable as a textbook.' Ernst-Erich Doberkat, Zentralblatt MATH\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e1. Motivation; 2. Coalgebras of polynomial functors; 3. Bisimulations; 4. Logic, lifting and finality; 5. Monads, comonads and distributive laws; 6. Invariants and assertions; References; Definition and symbol index; Subject index.","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":52084539982167,"sku":"9781107177895","price":133.95,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/introduction-to-coalgebra-towards-mathematics-of-states-and-observation-59-cambridge-tracts-in-theoretical-computer-science-series-number-59-9781107177895","provider":"Book Curl","version":"1.0","type":"link"}