Autor: Martin Kreuzer, Stefan Kühling
Verlag: Pearson Studium
Seiten: 256
Erscheinungsdatum: März 2006
ISBN: 3827372151

Das Buch stellt verschiedene logische Systeme vor, die in der Informatik von Bedeutung sind. Dabei schließt die Stoffauswahl nicht nur die klassischen Gebiete der Aussagen- und Prädikatenlogik ein, sondern behandelt z.B. auch die Gleichungslogik und Modallogik sowie allgemeine logische Systeme. Die Präsentation des Stoffs ist auf die Bedürfnisse von Informatikstudenten abgestimmt. Das Buch ist mathematisch exakt und enthält vollständige und korrekte Beweise, ohne zu formell zu sein. Spezialnotationen der Logik werden auf das absolut Notwendige reduziert. Großen Wert legt der Autor auf die Motivation des Stoffs durch Beispiele aus der Informatik. Viele abwechslungsreiche und originelle Übungsaufgaben fördern das Verständnis und geben dem Leser Gelegenheit, den Lernerfolg selbst zu überprüfen.