You are here
Back to topLogikkalküle in Der Informatik: Wie Wird Logik Vom Rechner Genutzt? (Paperback)
$38.99
Usually Ships in 1-5 Days
Description
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.
About the Author
Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.