Blick ins Buch

Michael Schenke

Logikkalküle in der Informatik

Wie wird Logik vom Rechner genutzt?. 24,0 cm / 16,8 cm / 1,4 cm ( B/H/T )
Buch (Softcover), 248 Seiten
EAN 9783834818874
Veröffentlicht Januar 2014
Verlag/Hersteller Springer VS
29,99 inkl. MwSt.
Teilen
Beschreibung

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.

Portrait

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

Inhaltsverzeichnis

Aussagenlogik.- Prädikatenlogik.- SLD-Kalkül.- Modale Logik.- Temporale Logik.- Epistemische Logik.- Deontische Logik.- Nichtmonotone Logik.- Default-Logik.

Hersteller
Springer-Verlag GmbH
Tiergartenstr. 17

DE - 69121 Heidelberg

E-Mail: ProductSafety@springernature.com

Das könnte Sie auch interessieren

Roberto Simanowski
Sprachmaschinen
Buch (Softcover)
Sofort lieferbar
23,00
Vorbestellbar
18,00
Marc-Uwe Kling
Der Tag, an dem die Oma das Internet kaputt...
Buch (Hardcover)
Sofort lieferbar
12,00
Nicholas Potter
Die neue autoritäre Linke
Buch (Softcover)
Sofort lieferbar
20,00
Silke Müller
Schule gegen Kinder
Buch (Hardcover)
Sofort lieferbar
22,00
Andreas Erle
Das kann KI
Buch (Softcover)
Sofort lieferbar
19,90
Sofort lieferbar
19,90
Aldous Huxley
Zeit der Oligarchen
Buch (Hardcover)
Sofort lieferbar
14,00
Katharina Zweig
Weiß die KI, dass sie nichts weiß?
Buch (Softcover)
Sofort lieferbar
20,00
Judith Le Huray
Vernetzt gehetzt. Schulausgabe
Buch (Softcover)
Lieferbar innerhalb von 1-2 Wochen
6,95
Jannis Brühl
Disruption
Buch (Softcover)
Sofort lieferbar
20,00
Cory Doctorow
Enshittification
Buch (Hardcover)
Sofort lieferbar
24,00
Ursula Poznanski
Erebos 2
Buch (Hardcover)
Sofort lieferbar
19,95
Nina Kolleck
Der Kampf in den Köpfen
Buch (Hardcover)
Sofort lieferbar
24,00
Joachim Bauer
Menschlichkeit in digitalen Zeiten
Buch (Hardcover)
Sofort lieferbar
24,00
Sofort lieferbar
4,95
Robert Klaßen
Windows 11
Buch (Softcover)
Sofort lieferbar
12,90
Aya Jaff
Broligarchie
Buch (Hardcover)
Sofort lieferbar
23,99
Sarah Wynn-Williams
Mein Traumjob bei Facebook und wie ich alle...
Buch (Softcover)
Lieferbar innerhalb von 3-4 Wochen
20,00
Sarah Kuttner
Mama & Sam
Buch (Hardcover)
Sofort lieferbar
24,00
Martin Warnke
Large Language Kabbala
Buch (Softcover)
Vorbestellbar - erscheint am 28.05.2026
16,00
Frank-Michael Becker
Formelsammlung bis zum Abitur - Mathematik ...
Buch (Softcover)
Sofort lieferbar
16,99
Wolfram Lotz
Träume in Europa
Buch (Hardcover)
Sofort lieferbar
23,00
Dirk Baecker
Digitalisierung
Buch (Softcover)
Sofort lieferbar
20,00
Johannes Knörzer
Ein Quantum Zukunft - Quantenphysik und Qua...
Buch (Softcover)
Sofort lieferbar
24,99
Jörg Rieger Espind...
Windows 11 für Senioren
Buch (Softcover)
Sofort lieferbar
19,90
Sofort lieferbar
8,25
Julia Ruhs
Links-grüne Meinungsmacht
Buch (Softcover)
Sofort lieferbar
20,00
Christian Immler
Instagram optimal nutzen - Alle Funktionen ...
Buch (Softcover)
Sofort lieferbar
9,95
Kim Beck
Basiskurs Medienbildung.Gesamtkurs
Buch (Softcover)
Sofort lieferbar
9,00
Ingo Dachwitz
Digitaler Kolonialismus
Buch (Hardcover)
Sofort lieferbar
28,00
Jörg Rieger Espind...
Das große Mac-Buch für Einsteiger und Umste...
Buch (Softcover)
Sofort lieferbar
29,90
Lieferbar innerhalb von 1-2 Wochen
12,30
Cornelia Lohs
Der inoffizielle James Bond Reiseführer
Buch (Softcover)
Sofort lieferbar
19,99
Lieferbar innerhalb von 1-2 Wochen
9,95
Bernhard Pörksen
Zuhören
Buch (Hardcover)
Sofort lieferbar
24,00