Logikkalküle in Der Informatik: Wie Wird Logik Vom Rechner Genutzt?
| AUTHOR | Schenke, Michael |
| PUBLISHER | Springer Vieweg (01/10/2014) |
| PRODUCT TYPE | Paperback (Paperback) |
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.
Im Mittelpunkt steht das Spannungsverhltnis zwischen einerseits dem herkmmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkls, also zwischen Semantik und Syntax. Wie dieser Graben berwunden wird, wird fr verschiedene auch nicht-klassische Logiken vorgefhrt: Prdikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere.
Dadurch wird insbesondere auch eine einfhrende bersicht ber Logiken gegeben, die an manchen Stellen der Informatik bentigt werden, zu deren Verstndnis man sich aber kein ganzes spezielles Buch anschaffen mchte. Das Buch enthlt einen einheitlichen Ansatz fr verschiedene Logiken.
Inhalt
Aussagenlogik - Prdikatenlogik - SLD-Kalkl - Modale Logik - Temporale Logik - Epistemische Logik - Deontische Logik - Nichtmonotone Logik - Default-Logik
Zielgruppe
Studierende der Informatik
Autor
Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.
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.