Blick ins Buch

Michael Schenke

Logikkalküle in der Informatik

Wie wird Logik vom Rechner genutzt?. 2013. 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 Fachmedien Wiesbaden

Auch erhältlich als:

eBook (pdf)
17,98
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

Katharina Zweig
Weiß die KI, dass sie nichts weiß?
Buch (Softcover)
Sofort lieferbar
20,00
Julia Ruhs
Links-grüne Meinungsmacht
Buch (Softcover)
Sofort lieferbar
20,00
Sarah Kuttner
Mama & Sam
Buch (Hardcover)
Sofort lieferbar
24,00
Aldous Huxley
Zeit der Oligarchen
Buch (Hardcover)
Sofort lieferbar
14,00
Roberto Simanowski
Sprachmaschinen
Buch (Softcover)
Sofort lieferbar
23,00
Marc-Uwe Kling
Der Tag, an dem die Oma das Internet kaputt...
Buch (Hardcover)
Sofort lieferbar
12,00
Sofort lieferbar
4,95
Silke Müller
Schule gegen Kinder
Buch (Hardcover)
Sofort lieferbar
22,00
Jannis Brühl
Disruption
Buch (Softcover)
Sofort lieferbar
20,00
Aya Jaff
Broligarchie
Buch (Hardcover)
Sofort lieferbar
23,99
Andreas Erle
Das kann KI
Buch (Softcover)
Sofort lieferbar
19,90
Sofort lieferbar
19,90
Ursula Poznanski
Erebos 2
Buch (Hardcover)
Sofort lieferbar
19,95
Cornelia Lohs
Der inoffizielle James Bond Reiseführer
Buch (Softcover)
Sofort lieferbar
19,99
Martin Andree
Krieg der Medien
Buch (Hardcover)
Sofort lieferbar
28,00
Sofort lieferbar
24,30
Dirk Baecker
Digitalisierung
Buch (Softcover)
Sofort lieferbar
20,00
Jörg Rieger Espind...
Windows 11 für Senioren
Buch (Softcover)
Sofort lieferbar
19,90
Sofort lieferbar
24,30
Judith Le Huray
Vernetzt gehetzt. Schulausgabe
Buch (Softcover)
Sofort lieferbar
6,95
Steffen Mau
Triggerpunkte
Buch (Softcover)
Sofort lieferbar
25,00
Bernhard Pörksen
Zuhören
Buch (Hardcover)
Sofort lieferbar
24,00
Christoph Engemann
Die Zukunft des Lesens
Buch (Softcover)
Sofort lieferbar
14,00
Johannes Knörzer
Ein Quantum Zukunft - Quantenphysik und Qua...
Buch (Softcover)
Lieferbar innerhalb von 5-7 Tagen
24,99
Sofort lieferbar
19,95
Martin Warnke
Large Language Kabbala
Buch (Softcover)
Sofort lieferbar
16,00
Rainer Hattenhauer
ChatGPT & Co.
Buch (Softcover)
Sofort lieferbar
24,90
Wolfram Lotz
Träume in Europa
Buch (Hardcover)
Sofort lieferbar
23,00
Douglas Rushkoff
Survival of the Richest
Buch (Softcover)
Sofort lieferbar
22,00
Christian Immler
WhatsApp - optimal nutzen - neueste Version...
Buch (Softcover)
Sofort lieferbar
12,95
Frank-Michael Becker
Formelsammlung bis zum Abitur - Mathematik ...
Buch (Softcover)
Sofort lieferbar
16,99
@Kriegundfreitag
Psyche, du kleiner Schlingel
Buch (Hardcover)
Sofort lieferbar
14,00
Oliver Bock
ChatGPT - Das Praxisbuch
Buch (Softcover)
Sofort lieferbar
19,95
Ingo Dachwitz
Digitaler Kolonialismus
Buch (Hardcover)
Sofort lieferbar
28,00
Inga Strümke
Künstliche Intelligenz
Buch (Hardcover)
Sofort lieferbar
24,90
Sofort lieferbar
28,99