Michael Schenke - Logikkalküle in der Informatik

Michael Schenke - Logikkalküle in der Informatik

30,83 €

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....

Direkt bei Thalia AT bestellen

Produktbeschreibung

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.
Marke Springer Fachmedien Wiesbaden GmbH
EAN 9783834818874
ISBN 978-3-8348-1887-4
...

15,90 €

Lorenz Steinke - Bedienungsanleitung für den...
...

152,95 €

Alexandra Nicole Lenz - Vom ›kriegen‹...
...

59,70 €

Franziska Sick - Stadtraum, Stadtlandschaft, Karte
...

15,90 €

Gerhard Mursinsky - Warum ich nicht...
...

24,00 €

Carrie Brownstein - Modern Girl

Beratungskontakt

contact-lady

Vereinbaren Sie ein kostenloses Erstgespräch. Wir beraten Sie gerne!

Kategorien