Name: Dynamic Epistemic Logic
Price: 104 CHF
Availability: InStock
ISBN: 978-1-4020-6908-6

productDetailPageQuery

Springer

Dynamische epistemische Logik ist die Logik des Wissenswandels. Es handelt sich hierbei nicht um ein einzelnes logisches System, sondern um eine ganze Familie von Logiken, die es uns ermöglicht, statische und dynamische Aspekte von Multi-Agenten-Systemen zu spezifizieren. Dieses Buch bietet verschiedene Logiken zur Unterstützung solcher formalen Spezifikationen, einschliesslich Beweissystemen. Konkrete Beispiele und epistemische Rätsel beleben die Darstellung. Das Buch enthält ausserdem Übungen mit Antworten und ist hervorragend geeignet für Graduiertenkurse in Logik. Eine umfassende Kapitelübersicht des Inhalts dieses Buches ist wie folgt: Das Kapitel 'Einführung' informiert den Leser über die Geschichte des Themas und dessen Beziehung zu anderen Disziplinen. 'Epistemische Logik' bietet einen Überblick über die multi-agenten epistemische Logik - die Logik des Wissens - einschliesslich modaler Operatoren für Gruppen, wie allgemeines und gemeinsames Wissen. 'Glaubensrevision' gibt einen Überblick darüber, wie man Glaubensrevision modelliert.

Produktbild Dynamic Epistemic Logic (Englisch, Softcover, Barteld Kooi, Hans van Ditmarsch, Wiebe van der Hoek)

Suche

Einstellungen

Kundenkonto

Vergleichslisten

Merklisten

Warenkorb

Dynamic Epistemic Logic

Bucheinband2

Im Detail

Produkte vergleichen

Passend dazu

Dynamic Epistemic Logic

Bucheinband2

Im Detail

Beschreibung

Spezifikationen

Preisentwicklung

Garantie- und Rückgabequoten

Fragen zum Produkt0

Produktbewertungen0

Produkte vergleichen

Ähnliche Produkte

Verkaufsrang in Fachbücher

Passend dazu

Oft zusammen gekauft