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

Sarah Wynn-Williams
Mein Traumjob bei Facebook und wie ich alle...
Buch (Softcover)
Sofort lieferbar
20,00
Sofort lieferbar
9,95
Sofort lieferbar
19,90
Frank-Michael Becker
Formelsammlung bis zum Abitur - Mathematik ...
Buch (Softcover)
Lieferbar innerhalb von 1-2 Wochen
16,99
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
Sofort lieferbar
9,95
Sofort lieferbar
4,95
Judith Le Huray
Vernetzt gehetzt. Schulausgabe
Buch (Softcover)
Sofort lieferbar
6,95
Sofort lieferbar
4,75
Lieferbar innerhalb von 1-2 Wochen
4,75
Andreas Erle
Das kann KI
Buch (Softcover)
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
Nina Kolleck
Der Kampf in den Köpfen
Buch (Hardcover)
Sofort lieferbar
24,00
Kim Beck
Basiskurs Medienbildung.Gesamtkurs
Buch (Softcover)
Sofort lieferbar
9,00
Joachim Bauer
Menschlichkeit in digitalen Zeiten
Buch (Hardcover)
Sofort lieferbar
24,00
Martin Andree
Vermessung der digitalen Welt
Buch (Softcover)
Sofort lieferbar
25,00
Ursula Poznanski
Erebos 2
Buch (Hardcover)
Sofort lieferbar
19,95
Asma Mhalla
Cyberpunk
Buch (Softcover)
Lieferbar innerhalb von 1-2 Wochen
16,00
Dieter Bergmann
Natur und Technik 7: Informatik Gymnasium B...
Buch (Hardcover)
Sofort lieferbar
22,90
Silke Müller
Schule gegen Kinder
Buch (Hardcover)
Sofort lieferbar
22,00
Sofort lieferbar
32,50
Robert Klaßen
Windows 11
Buch (Softcover)
Sofort lieferbar
12,90
Cory Doctorow
Enshittification
Buch (Hardcover)
Sofort lieferbar
24,00
Rainer Hattenhauer
KI für Senioren
Buch (Softcover)
Sofort lieferbar
19,90
Sofort lieferbar
8,25
Ralf T. Kreutzer
Praxisorientiertes Online-Marketing
Buch (Softcover)
Lieferbar innerhalb von 3-5 Tagen
49,99
Christian Immler
Die besten Android-Apps: Für dein Smartphon...
Buch (Softcover)
Sofort lieferbar
14,95
Aya Jaff
Broligarchie
Buch (Hardcover)
Lieferbar innerhalb von 1-2 Wochen
23,99
Mareile Heiting
WhatsApp
Buch (Softcover)
Sofort lieferbar
14,90
Eric Jorgenson
Der Almanach von Elon Musk
Buch (Hardcover)
Lieferbar innerhalb von 3-4 Wochen
18,00
Martin Warnke
Large Language Kabbala
Buch (Softcover)
Sofort lieferbar
16,00
Gisela Schmalz
Fetisch Intelligenz
Buch (Hardcover)
Lieferbar innerhalb von 3-4 Wochen
24,00