Zur Startseite gehen
0,00 €*
Cover: 9783834818874 | Logikkalküle in der Informatik | Wie wird Logik vom Rechner genutzt?
Dekorationsartikel gehören nicht zum Leistungsumfang.
Logikkalküle in der Informatik
Wie wird Logik vom Rechner genutzt?
Taschenbuch von Michael Schenke
Sprache: Deutsch

29,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
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.
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.
Über den Autor
Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.
Zusammenfassung
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.
Inhaltsverzeichnis
Aussagenlogik.- Prädikatenlogik.- SLD-Kalkül.- Modale Logik.- Temporale Logik.- Epistemische Logik.- Deontische Logik.- Nichtmonotone Logik.- Default-Logik.
Details
Erscheinungsjahr: 2014
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Studienbücher Informatik
Inhalt: xii
232 S.
74 s/w Illustr.
232 S. 74 Abb.
ISBN-13: 9783834818874
ISBN-10: 3834818879
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Schenke, Michael
Hersteller: Springer Fachmedien Wiesbaden
Springer Fachmedien Wiesbaden GmbH
Studienbücher Informatik
Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße: 240 x 168 x 14 mm
Von/Mit: Michael Schenke
Erscheinungsdatum: 10.01.2014
Gewicht: 0,423 kg
Artikel-ID: 106825464
Über den Autor
Prof. Dr. Dr. Michael Schenke lehrt und forscht an der Hochschule Merseburg im Fachbereich Informatik und Kommunikationssysteme.
Zusammenfassung
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.
Inhaltsverzeichnis
Aussagenlogik.- Prädikatenlogik.- SLD-Kalkül.- Modale Logik.- Temporale Logik.- Epistemische Logik.- Deontische Logik.- Nichtmonotone Logik.- Default-Logik.
Details
Erscheinungsjahr: 2014
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Studienbücher Informatik
Inhalt: xii
232 S.
74 s/w Illustr.
232 S. 74 Abb.
ISBN-13: 9783834818874
ISBN-10: 3834818879
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Schenke, Michael
Hersteller: Springer Fachmedien Wiesbaden
Springer Fachmedien Wiesbaden GmbH
Studienbücher Informatik
Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, D-65189 Wiesbaden, juergen.hartmann@springer.com
Maße: 240 x 168 x 14 mm
Von/Mit: Michael Schenke
Erscheinungsdatum: 10.01.2014
Gewicht: 0,423 kg
Artikel-ID: 106825464
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...