Im Mittelpunkt steht das Spannungsverh???ltnis zwischen einerseits dem herk???mmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalk???ls, also zwischen Semantik und Syntax. Wie dieser Graben ???berwunden wird, wird f???r verschiedene auch nicht-klassische Logiken vorgef???hrt: Pr???dikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einf???hrende ???bersicht ???ber Logiken ...
Read More
Im Mittelpunkt steht das Spannungsverh???ltnis zwischen einerseits dem herk???mmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalk???ls, also zwischen Semantik und Syntax. Wie dieser Graben ???berwunden wird, wird f???r verschiedene auch nicht-klassische Logiken vorgef???hrt: Pr???dikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einf???hrende ???bersicht ???ber Logiken gegeben, die an manchen Stellen der Informatik ben???tigt werden, zu deren Verst???ndnis man sich aber kein ganzes spezielles Buch anschaffen m???chte. Das Buch enth???lt einen einheitlichen Ansatz f???r verschiedene Logiken.
Read Less
Add this copy of Logikkalküle in Der Informatik: Wie Wird Logik Vom to cart. $53.67, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2014 by Springer Vieweg.
