Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783642029950 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
Bezahlte Anzeige
- 0 Ergebnisse
Kleinster Preis: € 118,99, größter Preis: € 142,99, Mittelwert: € 131,64
Stochastic Coalgebraic Logic - Ernst-Erich Doberkat
(*)
Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic - neues Buch

2009, ISBN: 9783642029950

ID: 85644465

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously not available in a purely probabilistic setting. This book combines coalgebraic reasoning, stochastic systems and logics. It provides an insight into the principles of coalgebraic logic from a categorical point of view, and applies these systems to interpretations of stochastic coalgebraic logics, which include well-known modal logics and continuous time branching logics. The author introduces stochastic systems together with their probabilistic and categorical foundations and gives a comprehensive discussion of the Giry monad as the underlying categorical construction, presenting many new, hitherto unpublished results. He discusses modal logics, introduces their probabilistic interpretations, and then proceeds to an analysis of Kripke models for coalgebraic logics. The book will be of interest to researchers in theoretical computer science, logic and category theory. Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models. eBook PDF 24.12.2009 eBooks>Fremdsprachige eBooks>Englische eBooks>Sach- & Fachthemen>Mathematik, Springer, .200

 Orellfuessli.ch
No. 24605281. Versandkosten:Zzgl. Versandkosten. (EUR 15.50)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Stochastic Coalgebraic Logic - Ernst-Erich Doberkat
(*)
Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic - neues Buch

ISBN: 9783642029950

ID: 9783642029950

Computer Science; Mathematical Logic and Formal Languages; Probability Theory and Stochastic Processes; Artificial Intelligence (incl. Robotics); Category Theory, Homological Algebra; Statistical Theory and Methods Categories, category theory, Coalgebraic logics, Giry Monad, Markov transition systems, Modal logic, Morphisms, Probability theory, Stochastic logic, Stochastic systems, concurrency, grammar, grammars, logic, modeling, semantics Books eBook, Springer Science+Business Media

 Springer.com
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke mode Versandkosten: EUR 0.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Stochastic Coalgebraic Logic - Ernst-Erich Doberkat
(*)
Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic - neues Buch

ISBN: 9783642029950

ID: 9783642029950

Computer Science; Mathematical Logic and Formal Languages; Probability Theory and Stochastic Processes; Artificial Intelligence (incl. Robotics); Category Theory, Homological Algebra; Statistical Theory and Methods Categories, category theory, Coalgebraic logics, Giry Monad, Markov transition systems, Modal logic, Morphisms, Probability theory, Stochastic logic, Stochastic systems, concurrency, grammar, grammars, logic, modeling, semantics Books eBook, Springer Shop

 Springer.com
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke mode Versandkosten:zzgl. Versandkosten.
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Stochastic Coalgebraic Logic - Ernst-Erich Doberkat
(*)
Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic - neues Buch

2009, ISBN: 9783642029950

ID: 12469208

Stochastic Coalgebraic Logic ab 142.99 € als pdf eBook: Monographs in Theoretical Computer Science. An EATCS Series. Auflage 2009. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik, https://media.hugendubel.de/shop/coverscans/124/12469208_12469208_big.jpg

 Hugendubel.de
Nr. Versandkosten:, , DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Stochastic Coalgebraic Logic
(*)
Stochastic Coalgebraic Logic - neues Buch

2009, ISBN: 9783642029950

ID: 12469208

Stochastic Coalgebraic Logic ab 142.99 EURO Monographs in Theoretical Computer Science. An EATCS Series. Auflage 2009 Medien > Bücher, [PU: Springer, Berlin/Heidelberg/New York, NY]

 eBook.de
Nr. Versandkosten:, , DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.