Logikkalküle in der Informatik

From Wikibooks, open books for an open world
Jump to navigation Jump to search
Logikkalküle in der Informatik
Cover
Cover page
AuthorMichael Schenke
LanguageEnglish
GenreLogic Design Programming
Publication date
2016-01-15
ISBN9783834822956
Mercid 203179783834822956
MerchantRakuten Kobo Canada
WebsiteRakuten Kobo Canada

Summary

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.

Where to buy

Rakuten Kobo Canada