Stochastic Coalgebraic Logic, Fachbücher von Ernst-Erich Doberkat
Das Buch "Stochastic Coalgebraic Logic" bietet eine umfassende Untersuchung der coalgebraischen Logik im Kontext stochastisch... Mehr erfahren
Finde die besten Angebote
Bester Preis53 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Stochastic Coalgebraic Logic" bietet eine umfassende Untersuchung der coalgebraischen Logik im Kontext stochastischer Systeme. Es beleuchtet die Prinzipien der coalgebraischen Logik aus einer kategorialen Perspektive und zeigt, wie diese Konzepte auf die Interpretation stochastischer coalgebraischer Logiken angewendet werden können. Der Autor, Ernst-Erich Doberkat, führt die Leser in die Grundlagen stochastischer Systeme ein und diskutiert deren probabilistische und kategoriale Fundamente. Ein zentrales Thema des Buches ist der Giry-Monad, der als grundlegende kategoriale Konstruktion dient und zahlreiche neue, bisher unveröffentlichte Ergebnisse präsentiert. Darüber hinaus werden modal logische Systeme und deren probabilistische Interpretationen behandelt, gefolgt von einer Analyse von Kripke-Modellen für coalgebraische Logiken. Dieses Werk richtet sich an Forschende in den Bereichen theoretische Informatik, Logik und Kategorientheorie.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer