Logikkalkle in der Informatik Wie wird Logik vom Rechner genutzt [Paperback]

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.
Aussagenlogik - Pr?dikatenlogik  SLD-Kalk?l  Modale Logik  Temporale Logik  Epistemische Logik  Deontische Logik  Nichtmonotone Logik  Default-LogikDer fundierte Einstieg in die Welt der Logikkalk?leProf. Dr. Dr. Michael Schenke lehrt und forscht an der?Hochschule Merseburg im?Fachbereich Informatik und Kommunikationssysteme.

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.

Inhalt

Aussagenlogik - Pr?dikatenlogik  SLD-Kalk?l  Modale Logik  Temporale Logik  Epistemische Logik  Deontische Logik  Nichtmonotol#z