Placeholder text

Go to cart

Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik)

By Michael Schenke

Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik) Computer Science

Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? (Studienbücher Informatik)

Only 1 item left in stock
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
Number of Pages:
248
Release Date:
2014-01-10
Publication Date:
2014-01-10
Publisher:
Springer Vieweg
Languages:
Published: German, Original: German
ISBN10:
3834818879
ISBN13:
9783834818874
GPSR Manufacturer Reference:
[email protected]
Weight:
426 g
Height:
24 cm
Width:
16.7 cm
Thickness:
1.4 cm
Buy on Amazon

Condition

Show more

Show less
Very good
Almost no signs of wear. Book pages have no markings, accessories are intact and all other media are in good condition.
Available immediately
€8,49

Incl. VAT, plus shipping costs

PayPal
Visa
Mastercard
American Express
Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€8,49