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: € 85,55, größter Preis: € 142,79, Mittelwert: € 123,74
Stochastic Coalgebraic Logic - Ernst-Erich Doberkat
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic - neues Buch

2009, ISBN: 9783642029950

ID: 689055890

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. eBooks > Fremdsprachige eBooks > Englische eBooks > Sach- & Fachthemen > Mathematik PDF 24.12.2009 eBook, Springer, .200

Neues Buch Buch.ch
No. 24605281 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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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

Neues Buch 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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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

Neues Buch 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 - Doberkat,  Ernst-Erich
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Doberkat, Ernst-Erich:
Stochastic Coalgebraic Logic - neues Buch

ISBN: 9783642029950

ID: 9783642029950

[KW: INFORMATIK ,NATURWISSENSCHAFTEN MEDIZIN INFORMATIK TECHNIK , INFORMATIK EDV , INFORMATIK ,PDF ,INFORMATIK,SOFTWAREENTWICKLUNG] <-> <-> INFORMATIK ,NATURWISSENSCHAFTEN MEDIZIN INFORMATIK TECHNIK , INFORMATIK EDV , INFORMATIK ,PDF ,INFORMATIK,SOFTWAREENTWICKLUNG

Neues Buch DE eBook.de
Sofort lieferbar (Download), E-Book zum Download 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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Ernst-Erich Doberkat:
Stochastic Coalgebraic Logic - Erstausgabe

2009, ISBN: 9783642029950

ID: 21784453

[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer-Verlag]

Neues Buch Lehmanns.de
Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.