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

Sofort lieferbar
18,00
Frank-Michael Becker
Formelsammlung bis zum Abitur - Mathematik ...
Buch (Softcover)
Sofort lieferbar
16,99
Asma Mhalla
Cyberpunk
Buch (Softcover)
Sofort lieferbar
16,00
Sofort lieferbar
4,95
Sofort lieferbar
8,50
Sofort lieferbar
19,90
Chris Methmann
Bad Food
Buch (Hardcover)
Lieferbar innerhalb von 3-4 Wochen
23,00
Roberto Simanowski
Sprachmaschinen
Buch (Softcover)
Sofort lieferbar
23,00
Kim Beck
Basiskurs Medienbildung.Gesamtkurs
Buch (Softcover)
Lieferbar innerhalb von 1-2 Wochen
9,00
Marc-Uwe Kling
Der Tag, an dem die Oma das Internet kaputt...
Buch (Hardcover)
Sofort lieferbar
12,00
Thomas Hillers
Die Social-Media-Sprechstunde. Was unsere K...
Buch (Softcover)
Sofort lieferbar
18,00
Christoph Koch
Hallo, wie fühlst du dich heute?
Buch (Hardcover)
Sofort lieferbar
23,00
Ursula Poznanski
Erebos 2
Buch (Hardcover)
Sofort lieferbar
19,95
Henning Körner
Formelfinder - Ausgabe für die Sekundarstuf...
Buch (Hardcover)
Sofort lieferbar
14,95
Sarah Wynn-Williams
Mein Traumjob bei Facebook und wie ich alle...
Buch (Softcover)
Sofort lieferbar
20,00
Sofort lieferbar
9,95
Sofort lieferbar
4,75
Cory Doctorow
Enshittification
Buch (Hardcover)
Sofort lieferbar
24,00
Katharina Zweig
Weiß die KI, dass sie nichts weiß?
Buch (Softcover)
Sofort lieferbar
20,00
Kerstin Hepp
Blickpunkt Medienbildung. Arbeitsbuch 5/6
Buch (Softcover)
Lieferbar innerhalb von 1-2 Wochen
8,95
Sofort lieferbar
9,95
Sabrina Sue Daniels
Die drei !!! Koch dich um die Welt
Buch (Hardcover)
Lieferbar innerhalb von 1-2 Wochen
20,00
James Marriott
Das Ende des Lesens
Buch (Hardcover)
Vorbestellbar
20,00
Sofort lieferbar
19,00
Lieferbar innerhalb von 3-4 Wochen
23,50
Sofort lieferbar
4,75
Andreas Erle
Das kann KI
Buch (Softcover)
Sofort lieferbar
19,90
Rainer Hattenhauer
KI für Senioren
Buch (Softcover)
Sofort lieferbar
19,90
Thomas Müller
Relevanz im KI-Zeitalter
Buch (Softcover)
Sofort lieferbar
20,00
Sofort lieferbar
34,50
Philipp Jessen
Shitfluencer
Buch (Softcover)
Lieferbar innerhalb von 2 Wochen
18,00
Lieferbar innerhalb von 1-2 Wochen
25,30
Ingo Patett
IT-Berufe
Sonstige
Sofort lieferbar
34,50
Vorbestellbar
23,50
Nicholas Potter
Die neue autoritäre Linke
Buch (Softcover)
Sofort lieferbar
20,00
Judith Le Huray
Vernetzt gehetzt. Schulausgabe
Buch (Softcover)
Sofort lieferbar
6,95