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
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 248
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
Auflage: 2013
Hersteller: Springer Fachmedien Wiesbaden
Springer Fachmedien Wiesbaden GmbH
Studienbücher Informatik
Maße: 240 x 168 x 14 mm
Von/Mit: Michael Schenke
Erscheinungsdatum: 10.01.2014
Gewicht: 0,423 kg
preigu-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
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 248
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
Auflage: 2013
Hersteller: Springer Fachmedien Wiesbaden
Springer Fachmedien Wiesbaden GmbH
Studienbücher Informatik
Maße: 240 x 168 x 14 mm
Von/Mit: Michael Schenke
Erscheinungsdatum: 10.01.2014
Gewicht: 0,423 kg
preigu-id: 106825464
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783764399740 | Mathematische Modellierung | Gabriele Witterstein (u. a.) | Buch
Mathematische Modellierung
Grundprinzipien in Natur- und Ingenieurwissenschaften
EAN: 9783764399740
Sprache: Deutsch
Von/Mit: Gabriele Witterstein (u. a.)

19,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783540577805 | Der Turing Omnibus | Eine Reise durch die Informatik mit 66 Stationen
Der Turing Omnibus
Eine Reise durch die Informatik mit 66 Stationen
EAN: 9783540577805
Sprache: Deutsch
Von/Mit: A. K. Dewdney

59,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783528157395 | Das PC-Wissen für IT-Berufe | Rainer Egewardt | Taschenbuch
Das PC-Wissen für IT-Berufe: Hardware, Betriebssysteme, Netzwerktechnik
Kompaktes Praxiswissen für alle IT-Berufe in der Aus- und Weiterbildung, von der Hardware-Installation bis zum...
EAN: 9783528157395
Sprache: Deutsch
Von/Mit: Rainer Egewardt

79,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781118430620 | Designing the Internet of Things | Adrian McEwen (u. a.) | Taschenbuch
Designing the Internet of Things
EAN: 9781118430620
Sprache: Englisch
Von/Mit: Adrian Mcewen (u. a.)

25,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783642063640 | Software Product Line Engineering | Klaus Pohl (u. a.) | Taschenbuch
Software Product Line Engineering
Foundations, Principles and Techniques
EAN: 9783642063640
Sprache: Englisch
Von/Mit: Klaus Pohl (u. a.)

55,30 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781509305155 | Exam Ref 70-768 Developing SQL Data Models | Stacia Varga | Buch
Exam Ref 70-768 Developing SQL Data Models
EAN: 9781509305155
Sprache: Englisch
Von/Mit: Stacia Varga

37,75 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783319774336 | Introduction to Formal Philosophy | Sven Ove Hansson (u. a.) | Buch
Introduction to Formal Philosophy
EAN: 9783319774336
Sprache: Englisch
Von/Mit: Sven Ove Hansson (u. a.)

102,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9783503182916 | Digitale Medien in Deutsch als Fremd- und Zweitsprache | Buch | 2020
Digitale Medien in Deutsch als Fremd- und Zweitsprache
EAN: 9783503182916
Sprache: Deutsch
Von/Mit: Katrin Biebighäuser (u. a.)

59,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783753476889 | Die Geschichte der Röhren- und LED-Taschenrechner 1970 - 1980 - DER...
Die Geschichte der Röhren- und LED-Taschenrechner 1970 - 1980 - DER SPRACHENÜBERSETZER
EAN: 9783753476889
Sprache: Deutsch
Von/Mit: Uwe H. Sültz

4,25 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781119861072 | CompTIA A+ Complete Review Guide | Troy McMillan | Taschenbuch | 2022
CompTIA A+ Complete Review Guide
Core 1 Exam 220-1101 and Core 2 Exam 220-1102
EAN: 9781119861072
Sprache: Englisch
Von/Mit: Troy Mcmillan

32,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781597181747 | An Introduction to Survival Analysis Using Stata, Revised Third...
An Introduction to Survival Analysis Using Stata, Revised Third Edition
EAN: 9781597181747
Sprache: Englisch
Von/Mit: Mario Cleves (u. a.)

99,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781803231051 | Azure Containers Explained | Wesley Haakman (u. a.) | Taschenbuch
Azure Containers Explained
Leverage Azure container technologies for effective application migration and deployment
EAN: 9781803231051
Sprache: Englisch
Von/Mit: Wesley Haakman (u. a.)

49,20 €*

Lieferzeit 4-7 Werktage

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