Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? - Couverture souple

Livre 1 sur 8: Studienbücher Informatik

Schenke, Michael

 
9783834818874: Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt?
Couverture souple
ISBN 10 : 3834818879 ISBN 13 : 9783834818874
Editeur : Springer Vieweg, 2014

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Vieweg
Date d'édition
2014
Langue
allemand
ISBN 10 
3834818879
ISBN 13 
9783834818874
Reliure
Broché
Nombre de pages
248
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne