Logikkalküle in der Informatik

Name: Logikkalküle in der Informatik
Brand: Springer Fachmedien Wiesbaden
Availability: OutOfStock
Rating: 5 (1 reviews)

By Michael Schenke

0 - Used - good

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.

Product details

Binding:: Paperback
Edition:: 1
Languages:: Original: German
Number of Pages:: 248
Publisher:: Springer Fachmedien Wiesbaden
Publication Date:: 2014-01-10
ISBN / EAN:: 9783834818874
Weight:: 423 g
Dimensions:: 17/24/1 cm
GPSR Manufacturer Reference:: [email protected]

Buy on Amazon

Currently sold out

Add to Wishlist